PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb
MD5SUM	216e30ba4678325d93810a111dd11436
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	451651
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	2143744
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	6434814
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2429
Total number of constraints	3267
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1089
Number of constraints which are nor clauses,nor cardinality constraints	2178
Minimum length of a constraint	1
Maximum length of a constraint	43
Trace number 27319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 20:53:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17605 boxname=wulflinc24 idbench=1355 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  216e30ba4678325d93810a111dd11436  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-liu.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-liu.opb
IDLAUNCH: 17605
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        797024 kB
Buffers:         36544 kB
Cached:         177576 kB
SwapCached:        624 kB
Active:          62836 kB
Inactive:       153712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        796772 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15468 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:13:09 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 17605 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2427 variables and 2178 constraints.
c After prepocess the problem consists of 2427 variables and 2178 constraints.
c preprocess terminated 5.835 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.91 0.95 0.97 2/54 7930
Raw data (stat): 7930 (runsolver) R 7929 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833268219 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 10000 0 0 0 975 24 0 0 25 0 1 0 833268219 44670976 9976 4294967295 134512640 134714540 3221224592 3221223300 134625147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10906 9976 1111 63 0 10843 0
vsize: 43624
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 10938 0 0 0 1973 26 0 0 25 0 1 0 833268219 48467968 10914 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11833 10914 1111 63 0 11770 0
vsize: 47332
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 14662 0 0 0 2965 34 0 0 25 0 1 0 833268219 63795200 14638 4294967295 134512640 134714540 3221224592 3221223164 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15575 14638 1111 63 0 15512 0
vsize: 62300
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 14662 0 0 0 3965 34 0 0 25 0 1 0 833268219 63795200 14638 4294967295 134512640 134714540 3221224592 3221223356 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15575 14638 1111 63 0 15512 0
vsize: 62300
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 14662 0 0 0 4964 35 0 0 25 0 1 0 833268219 63795200 14638 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15575 14638 1111 63 0 15512 0
vsize: 62300
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 15055 0 0 0 5963 37 0 0 25 0 1 0 833268219 65294336 15031 4294967295 134512640 134714540 3221224592 3221223164 134535545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15941 15031 1111 63 0 15878 0
vsize: 63764
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 16359 0 0 0 6960 40 0 0 25 0 1 0 833268219 70733824 16335 4294967295 134512640 134714540 3221224592 3221223292 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17269 16335 1111 63 0 17206 0
vsize: 69076
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 7957 43 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223256 1077378409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 8957 43 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 9956 44 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223344 134624493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 10955 45 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 11954 46 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 12954 46 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223328 134556385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 13954 47 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223364 134624980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 14953 47 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 15952 48 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223248 134540176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 16952 49 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223332 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 17952 49 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223248 134540498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 18951 50 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 19951 50 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 20951 51 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223380 134524411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 21950 52 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223300 134556757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 22950 52 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 23949 53 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223256 1077377705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 24949 53 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223288 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 25948 54 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 26947 55 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 27947 56 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 28946 56 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 29946 57 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223280 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 30946 57 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223248 134540529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 31945 58 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223352 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 32944 59 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223304 134625145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 33943 60 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223416 134586926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 34942 61 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223248 134539890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 35941 62 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223312 134535391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 36941 63 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7930
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 37940 64 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223360 1076647572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7931
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 38935 69 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 39934 70 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223196 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 40933 70 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223256 1077377385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 41933 71 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 42933 71 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223184 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 43932 72 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7983
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 44932 72 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 45932 73 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 46931 73 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 47931 74 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223256 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 48931 74 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223324 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+500.023 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 49931 74 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223352 134543136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+510.023 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 50930 75 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223248 134539893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+520.023 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 51930 76 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223332 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+530.023 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 52930 76 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+540.023 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 53929 77 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223372 134535008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+550.023 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 54929 77 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+560.023 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 55929 77 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223424 134623919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+570.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 56929 78 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223312 134535385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+580.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 57928 78 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223312 134535383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+590.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 58928 79 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223252 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+600.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 59928 79 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223420 1076647871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+610.021 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 60928 80 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223376 134624921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+620.021 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 61927 80 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+630.02 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 62927 81 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 63927 81 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223360 134556786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17415 0 0 0 64926 81 0 0 25 0 1 0 833268219 74805248 17357 4294967295 134512640 134714540 3221224592 3221223164 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18263 17357 1111 63 0 18200 0
vsize: 73052
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 65926 82 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223248 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 66926 82 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223316 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 67925 83 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223092 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 68925 83 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223164 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 69925 84 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223312 134535411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 70924 84 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7985
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 71924 85 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223296 134523401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 72923 86 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223164 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 73923 86 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223408 134610859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 74923 86 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 75923 86 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 76923 87 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 77922 87 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223384 134542460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 78922 88 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223092 1077374514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 79922 89 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 80921 89 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223352 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 81921 89 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 82921 89 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223248 134540498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 83921 90 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223288 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 84921 90 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 85920 91 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223280 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 86920 91 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 87920 91 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223340 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 88920 92 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223356 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+900.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 89920 92 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223376 134534089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+910.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 90919 93 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223408 134610906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+920.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 91919 93 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223316 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+930.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 92919 93 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223076 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 93919 94 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223120 1076648070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+950.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 94918 95 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+960.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 95917 96 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223164 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 96917 97 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223384 134542458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+980.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 97916 97 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+990.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 98916 98 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 99916 98 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223312 134535391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 100916 98 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 101915 99 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223364 134624596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 102915 99 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223256 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 103915 100 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223364 134624596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 104914 100 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223288 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 105914 101 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 106914 101 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 107914 101 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 108914 102 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 109914 102 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223364 134624885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 110914 102 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223316 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 111913 103 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223016 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 112913 103 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 113913 103 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223328 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 114913 104 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223316 1077374071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 115912 104 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223300 134591892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 116912 105 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 74376
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 7987
Raw data (stat): 7930 (bsolo_mis) R 7929 4613 4612 0 -1 0 17742 0 0 0 116912 105 0 0 25 0 1 0 833268219 76161024 17684 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17684 1111 63 0 18531 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.06
CPU user time (s): 1173.98
CPU system time (s): 1.08483
CPU usage (%): 100.013
Max. virtual memory (Kb): 74376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####