PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb
MD5SUM	c1a86b94297136b91215b2ae8a8f5643
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	696
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	696
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	696
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	696
Total number of constraints	2096
Number of constraints which are clauses	2072
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	29
Trace number 24339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 17:00:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2154 boxname=wulflinc31 idbench=240 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb
IDLAUNCH: 2154
/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:        137388 kB
Buffers:         44872 kB
Cached:         817812 kB
SwapCached:        644 kB
Active:         492140 kB
Inactive:       372892 kB
HighTotal:      131008 kB
HighFree:          644 kB
LowTotal:       903652 kB
LowFree:        136744 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26428 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 17:20:22 (client local time) WITH STATUS 0 IN 1175.54 SECONDS
stats: 2154 7 1175.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 696 variables and 2096 constraints.
c After prepocess the problem consists of 580 variables and 1732 constraints.
c preprocess terminated 0.499 s
c Initial Lower Bound: 42
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.5 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.80 0.93 0.91 2/54 417
Raw data (stat): 417 (runsolver) R 416 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 702239112 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.83 0.93 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 1556 0 0 0 991 5 0 0 25 0 1 0 702239112 9928704 1530 4294967295 134512640 134714540 3221221792 3221220432 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1530 1111 63 0 2361 0
vsize: 9696
[startup+20.0017 s]
Raw data (loadavg): 0.86 0.93 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 1805 0 0 0 1990 7 0 0 25 0 1 0 702239112 11010048 1779 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2688 1779 1111 63 0 2625 0
vsize: 10752
[startup+30.0027 s]
Raw data (loadavg): 0.88 0.93 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2198 0 0 0 2988 9 0 0 25 0 1 0 702239112 12632064 2172 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3084 2172 1111 63 0 3021 0
vsize: 12336
[startup+40.0028 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2357 0 0 0 3987 10 0 0 25 0 1 0 702239112 13312000 2331 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3250 2331 1111 63 0 3187 0
vsize: 13000
[startup+50.0025 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2373 0 0 0 4987 10 0 0 25 0 1 0 702239112 13312000 2347 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3250 2347 1111 63 0 3187 0
vsize: 13000
[startup+60.0024 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2626 0 0 0 5986 11 0 0 25 0 1 0 702239112 14413824 2600 4294967295 134512640 134714540 3221221792 3221220584 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3519 2600 1111 63 0 3456 0
vsize: 14076
[startup+70.0026 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2829 0 0 0 6984 13 0 0 25 0 1 0 702239112 15224832 2803 4294967295 134512640 134714540 3221221792 3221220396 134536823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2803 1111 63 0 3654 0
vsize: 14868
[startup+80.0033 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3030 0 0 0 7984 14 0 0 25 0 1 0 702239112 16044032 3004 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3917 3004 1111 63 0 3854 0
vsize: 15668
[startup+90.0032 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3205 0 0 0 8983 15 0 0 25 0 1 0 702239112 16719872 3179 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4082 3179 1111 63 0 4019 0
vsize: 16328
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3400 0 0 0 9983 15 0 0 25 0 1 0 702239112 17534976 3374 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4281 3374 1111 63 0 4218 0
vsize: 17124
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3507 0 0 0 10982 16 0 0 25 0 1 0 702239112 18075648 3481 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3481 1111 63 0 4350 0
vsize: 17652
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3598 0 0 0 11982 16 0 0 25 0 1 0 702239112 18345984 3572 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3572 1111 63 0 4416 0
vsize: 17916
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3598 0 0 0 12982 16 0 0 25 0 1 0 702239112 18345984 3572 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3572 1111 63 0 4416 0
vsize: 17916
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3959 0 0 0 13981 18 0 0 25 0 1 0 702239112 19886080 3933 4294967295 134512640 134714540 3221221792 3221220196 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3933 1111 63 0 4792 0
vsize: 19420
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4355 0 0 0 14980 18 0 0 25 0 1 0 702239112 21508096 4328 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5251 4328 1111 63 0 5188 0
vsize: 21004
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4558 0 0 0 15980 19 0 0 25 0 1 0 702239112 22323200 4531 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4531 1111 63 0 5387 0
vsize: 21800
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4733 0 0 0 16979 20 0 0 25 0 1 0 702239112 23134208 4705 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5648 4705 1111 63 0 5585 0
vsize: 22592
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4829 0 0 0 17979 21 0 0 25 0 1 0 702239112 23543808 4801 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4801 1111 63 0 5685 0
vsize: 22992
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4901 0 0 0 18978 21 0 0 25 0 1 0 702239112 23814144 4872 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4872 1111 63 0 5751 0
vsize: 23256
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4912 0 0 0 19978 21 0 0 25 0 1 0 702239112 23814144 4883 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4883 1111 63 0 5751 0
vsize: 23256
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5021 0 0 0 20978 22 0 0 25 0 1 0 702239112 24354816 4992 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5946 4992 1111 63 0 5883 0
vsize: 23784
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5316 0 0 0 21976 24 0 0 25 0 1 0 702239112 25579520 5286 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6245 5286 1111 63 0 6182 0
vsize: 24980
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5575 0 0 0 22975 25 0 0 25 0 1 0 702239112 26554368 5544 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6483 5544 1111 63 0 6420 0
vsize: 25932
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5812 0 0 0 23974 26 0 0 25 0 1 0 702239112 27635712 5780 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6747 5780 1111 63 0 6684 0
vsize: 26988
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5952 0 0 0 24974 27 0 0 25 0 1 0 702239112 28176384 5920 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6879 5920 1111 63 0 6816 0
vsize: 27516
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5959 0 0 0 25974 27 0 0 25 0 1 0 702239112 28176384 5927 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6879 5927 1111 63 0 6816 0
vsize: 27516
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5994 0 0 0 26974 27 0 0 25 0 1 0 702239112 28311552 5962 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6912 5962 1111 63 0 6849 0
vsize: 27648
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6193 0 0 0 27973 28 0 0 25 0 1 0 702239112 29138944 6161 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7114 6161 1111 63 0 7051 0
vsize: 28456
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6368 0 0 0 28972 29 0 0 25 0 1 0 702239112 29966336 6332 4294967295 134512640 134714540 3221221792 3221220568 134624778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7316 6332 1111 63 0 7253 0
vsize: 29264
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6531 0 0 0 29971 30 0 0 25 0 1 0 702239112 30642176 6495 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7481 6495 1111 63 0 7418 0
vsize: 29924
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6655 0 0 0 30970 32 0 0 25 0 1 0 702239112 31182848 6619 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6619 1111 63 0 7550 0
vsize: 30452
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6664 0 0 0 31970 32 0 0 25 0 1 0 702239112 31182848 6628 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6628 1111 63 0 7550 0
vsize: 30452
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6744 0 0 0 32970 32 0 0 25 0 1 0 702239112 31604736 6707 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7716 6707 1111 63 0 7653 0
vsize: 30864
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6912 0 0 0 33970 32 0 0 25 0 1 0 702239112 32280576 6875 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7881 6875 1111 63 0 7818 0
vsize: 31524
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6985 0 0 0 34970 33 0 0 25 0 1 0 702239112 32550912 6946 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7947 6946 1111 63 0 7884 0
vsize: 31788
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7065 0 0 0 35970 33 0 0 25 0 1 0 702239112 32968704 7026 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7026 1111 63 0 7986 0
vsize: 32196
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 36969 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7027 1111 63 0 7986 0
vsize: 32196
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 37970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220608 134622645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7027 1111 63 0 7986 0
vsize: 32196
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 38970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7027 1111 63 0 7986 0
vsize: 32196
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 39970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7027 1111 63 0 7986 0
vsize: 32196
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7067 0 0 0 40970 34 0 0 25 0 1 0 702239112 32968704 7028 4294967295 134512640 134714540 3221221792 3221220368 134543043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7028 1111 63 0 7986 0
vsize: 32196
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7102 0 0 0 41970 34 0 0 25 0 1 0 702239112 33107968 7062 4294967295 134512640 134714540 3221221792 3221220376 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7062 1111 63 0 8020 0
vsize: 32332
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7202 0 0 0 42970 35 0 0 25 0 1 0 702239112 33513472 7162 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8182 7162 1111 63 0 8119 0
vsize: 32728
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7280 0 0 0 43969 35 0 0 25 0 1 0 702239112 33796096 7240 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8251 7240 1111 63 0 8188 0
vsize: 33004
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7333 0 0 0 44969 35 0 0 25 0 1 0 702239112 34099200 7292 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8325 7292 1111 63 0 8262 0
vsize: 33300
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7382 0 0 0 45969 35 0 0 25 0 1 0 702239112 34234368 7341 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8358 7341 1111 63 0 8295 0
vsize: 33432
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7468 0 0 0 46969 36 0 0 25 0 1 0 702239112 34648064 7426 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8459 7426 1111 63 0 8396 0
vsize: 33836
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7574 0 0 0 47969 36 0 0 25 0 1 0 702239112 35053568 7532 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8558 7532 1111 63 0 8495 0
vsize: 34232
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7642 0 0 0 48969 36 0 0 25 0 1 0 702239112 35332096 7600 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8626 7600 1111 63 0 8563 0
vsize: 34504
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7703 0 0 0 49969 37 0 0 25 0 1 0 702239112 35602432 7661 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8692 7661 1111 63 0 8629 0
vsize: 34768
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7858 0 0 0 50968 38 0 0 25 0 1 0 702239112 36278272 7816 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8857 7816 1111 63 0 8794 0
vsize: 35428
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7921 0 0 0 51968 38 0 0 25 0 1 0 702239112 36556800 7879 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8925 7879 1111 63 0 8862 0
vsize: 35700
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7932 0 0 0 52968 38 0 0 25 0 1 0 702239112 36556800 7890 4294967295 134512640 134714540 3221221792 3221220584 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8925 7890 1111 63 0 8862 0
vsize: 35700
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7954 0 0 0 53968 39 0 0 25 0 1 0 702239112 36691968 7912 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7912 1111 63 0 8895 0
vsize: 35832
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7969 0 0 0 54967 39 0 0 25 0 1 0 702239112 36691968 7927 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7927 1111 63 0 8895 0
vsize: 35832
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7974 0 0 0 55967 39 0 0 25 0 1 0 702239112 36691968 7932 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7932 1111 63 0 8895 0
vsize: 35832
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7982 0 0 0 56967 39 0 0 25 0 1 0 702239112 36691968 7940 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8958 7940 1111 63 0 8895 0
vsize: 35832
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7992 0 0 0 57967 39 0 0 25 0 1 0 702239112 36827136 7950 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8991 7950 1111 63 0 8928 0
vsize: 35964
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7993 0 0 0 58968 39 0 0 25 0 1 0 702239112 36827136 7951 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8991 7951 1111 63 0 8928 0
vsize: 35964
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8007 0 0 0 59968 39 0 0 25 0 1 0 702239112 36827136 7965 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8991 7965 1111 63 0 8928 0
vsize: 35964
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8024 0 0 0 60968 40 0 0 25 0 1 0 702239112 36962304 7982 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9024 7982 1111 63 0 8961 0
vsize: 36096
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8038 0 0 0 61968 40 0 0 25 0 1 0 702239112 36962304 7996 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9024 7996 1111 63 0 8961 0
vsize: 36096
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8067 0 0 0 62968 40 0 0 25 0 1 0 702239112 37097472 8025 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9057 8025 1111 63 0 8994 0
vsize: 36228
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8135 0 0 0 63967 40 0 0 25 0 1 0 702239112 37367808 8093 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9123 8093 1111 63 0 9060 0
vsize: 36492
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8159 0 0 0 64967 41 0 0 25 0 1 0 702239112 37502976 8117 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9156 8117 1111 63 0 9093 0
vsize: 36624
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8205 0 0 0 65967 41 0 0 25 0 1 0 702239112 37642240 8161 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9190 8161 1111 63 0 9127 0
vsize: 36760
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8282 0 0 0 66967 41 0 0 25 0 1 0 702239112 37945344 8238 4294967295 134512640 134714540 3221221792 3221220396 134536754 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9264 8238 1111 63 0 9201 0
vsize: 37056
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8294 0 0 0 67967 41 0 0 25 0 1 0 702239112 38080512 8250 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9297 8250 1111 63 0 9234 0
vsize: 37188
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8334 0 0 0 68967 42 0 0 25 0 1 0 702239112 38240256 8288 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9336 8288 1111 63 0 9273 0
vsize: 37344
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8380 0 0 0 69967 42 0 0 25 0 1 0 702239112 38375424 8334 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9369 8334 1111 63 0 9306 0
vsize: 37476
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8430 0 0 0 70967 42 0 0 25 0 1 0 702239112 38645760 8384 4294967295 134512640 134714540 3221221792 3221220460 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9435 8384 1111 63 0 9372 0
vsize: 37740
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8441 0 0 0 71967 42 0 0 25 0 1 0 702239112 38645760 8395 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9435 8395 1111 63 0 9372 0
vsize: 37740
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8478 0 0 0 72967 42 0 0 25 0 1 0 702239112 38780928 8432 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9468 8432 1111 63 0 9405 0
vsize: 37872
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8530 0 0 0 73967 43 0 0 25 0 1 0 702239112 39051264 8484 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9534 8484 1111 63 0 9471 0
vsize: 38136
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8576 0 0 0 74967 43 0 0 25 0 1 0 702239112 39190528 8528 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9568 8528 1111 63 0 9505 0
vsize: 38272
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8630 0 0 0 75967 43 0 0 25 0 1 0 702239112 39460864 8582 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9634 8582 1111 63 0 9571 0
vsize: 38536
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8683 0 0 0 76966 44 0 0 25 0 1 0 702239112 39628800 8633 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9675 8633 1111 63 0 9612 0
vsize: 38700
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8704 0 0 0 77967 44 0 0 25 0 1 0 702239112 39763968 8654 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9708 8654 1111 63 0 9645 0
vsize: 38832
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8743 0 0 0 78966 44 0 0 25 0 1 0 702239112 39899136 8691 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9741 8691 1111 63 0 9678 0
vsize: 38964
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8820 0 0 0 79966 45 0 0 25 0 1 0 702239112 40316928 8766 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9843 8766 1111 63 0 9780 0
vsize: 39372
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8858 0 0 0 80966 45 0 0 25 0 1 0 702239112 40452096 8804 4294967295 134512640 134714540 3221221792 3221220528 134622708 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9876 8804 1111 63 0 9813 0
vsize: 39504
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8888 0 0 0 81966 45 0 0 25 0 1 0 702239112 40587264 8834 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9909 8834 1111 63 0 9846 0
vsize: 39636
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8953 0 0 0 82966 45 0 0 25 0 1 0 702239112 40865792 8898 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9977 8898 1111 63 0 9914 0
vsize: 39908
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9010 0 0 0 83966 46 0 0 25 0 1 0 702239112 41005056 8955 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10011 8955 1111 63 0 9948 0
vsize: 40044
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9043 0 0 0 84966 46 0 0 25 0 1 0 702239112 41140224 8988 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10044 8988 1111 63 0 9981 0
vsize: 40176
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9088 0 0 0 85966 46 0 0 25 0 1 0 702239112 41410560 9033 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10110 9033 1111 63 0 10047 0
vsize: 40440
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9135 0 0 0 86965 47 0 0 25 0 1 0 702239112 41545728 9080 4294967295 134512640 134714540 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9080 1111 63 0 10080 0
vsize: 40572
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9148 0 0 0 87965 47 0 0 25 0 1 0 702239112 41545728 9093 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9093 1111 63 0 10080 0
vsize: 40572
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9167 0 0 0 88965 47 0 0 25 0 1 0 702239112 41680896 9112 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10176 9112 1111 63 0 10113 0
vsize: 40704
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9187 0 0 0 89965 48 0 0 25 0 1 0 702239112 41820160 9132 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9132 1111 63 0 10147 0
vsize: 40840
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9187 0 0 0 90965 48 0 0 25 0 1 0 702239112 41820160 9132 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9132 1111 63 0 10147 0
vsize: 40840
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9197 0 0 0 91965 48 0 0 25 0 1 0 702239112 41820160 9142 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9142 1111 63 0 10147 0
vsize: 40840
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9211 0 0 0 92965 48 0 0 25 0 1 0 702239112 41820160 9156 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9156 1111 63 0 10147 0
vsize: 40840
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9213 0 0 0 93965 48 0 0 25 0 1 0 702239112 41820160 9158 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9158 1111 63 0 10147 0
vsize: 40840
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9221 0 0 0 94965 48 0 0 25 0 1 0 702239112 41955328 9166 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10243 9166 1111 63 0 10180 0
vsize: 40972
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9250 0 0 0 95965 49 0 0 25 0 1 0 702239112 41955328 9195 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10243 9195 1111 63 0 10180 0
vsize: 40972
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9271 0 0 0 96965 49 0 0 25 0 1 0 702239112 42090496 9216 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10276 9216 1111 63 0 10213 0
vsize: 41104
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9289 0 0 0 97965 49 0 0 25 0 1 0 702239112 42225664 9234 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10309 9234 1111 63 0 10246 0
vsize: 41236
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9301 0 0 0 98965 49 0 0 25 0 1 0 702239112 42225664 9246 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10309 9246 1111 63 0 10246 0
vsize: 41236
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9320 0 0 0 99965 49 0 0 25 0 1 0 702239112 42360832 9265 4294967295 134512640 134714540 3221221792 3221220320 134543035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9265 1111 63 0 10279 0
vsize: 41368
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9346 0 0 0 100965 49 0 0 25 0 1 0 702239112 42360832 9291 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9291 1111 63 0 10279 0
vsize: 41368
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9360 0 0 0 101965 50 0 0 25 0 1 0 702239112 42496000 9305 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10375 9305 1111 63 0 10312 0
vsize: 41500
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9375 0 0 0 102965 50 0 0 25 0 1 0 702239112 42496000 9320 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10375 9320 1111 63 0 10312 0
vsize: 41500
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9385 0 0 0 103965 50 0 0 25 0 1 0 702239112 42496000 9330 4294967295 134512640 134714540 3221221792 3221220512 134622791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10375 9330 1111 63 0 10312 0
vsize: 41500
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9409 0 0 0 104965 50 0 0 25 0 1 0 702239112 42631168 9354 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10408 9354 1111 63 0 10345 0
vsize: 41632
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9423 0 0 0 105965 50 0 0 25 0 1 0 702239112 42766336 9368 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10441 9368 1111 63 0 10378 0
vsize: 41764
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9443 0 0 0 106965 50 0 0 25 0 1 0 702239112 42766336 9388 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10441 9388 1111 63 0 10378 0
vsize: 41764
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9459 0 0 0 107965 50 0 0 25 0 1 0 702239112 42905600 9404 4294967295 134512640 134714540 3221221792 3221220364 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10475 9404 1111 63 0 10412 0
vsize: 41900
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9495 0 0 0 108966 50 0 0 25 0 1 0 702239112 43061248 9439 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10513 9439 1111 63 0 10450 0
vsize: 42052
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9502 0 0 0 109966 51 0 0 25 0 1 0 702239112 43061248 9446 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10513 9446 1111 63 0 10450 0
vsize: 42052
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9524 0 0 0 110966 51 0 0 25 0 1 0 702239112 43196416 9468 4294967295 134512640 134714540 3221221792 3221220444 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10546 9468 1111 63 0 10483 0
vsize: 42184
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9552 0 0 0 111966 51 0 0 25 0 1 0 702239112 43196416 9496 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10546 9496 1111 63 0 10483 0
vsize: 42184
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9579 0 0 0 112965 51 0 0 25 0 1 0 702239112 43331584 9523 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10579 9523 1111 63 0 10516 0
vsize: 42316
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9608 0 0 0 113965 51 0 0 25 0 1 0 702239112 43466752 9552 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10612 9552 1111 63 0 10549 0
vsize: 42448
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9619 0 0 0 114965 52 0 0 25 0 1 0 702239112 43466752 9563 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10612 9563 1111 63 0 10549 0
vsize: 42448
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9627 0 0 0 115966 52 0 0 25 0 1 0 702239112 43606016 9571 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10646 9571 1111 63 0 10583 0
vsize: 42584
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9643 0 0 0 116965 52 0 0 25 0 1 0 702239112 43606016 9587 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10646 9587 1111 63 0 10583 0
vsize: 42584
[startup+1175.39 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 417
Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9643 0 0 0 116965 52 0 0 25 0 1 0 702239112 43606016 9587 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10646 9587 1111 63 0 10583 0
vsize: 0

Child status: 0
Real time (s): 1175.39
CPU time (s): 1175.54
CPU user time (s): 1175
CPU system time (s): 0.543917
CPU usage (%): 100.013
Max. virtual memory (Kb): 42584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####