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/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24449

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 13:43:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2352 boxname=wulflinc31 idbench=262 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
IDLAUNCH: 2352
/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:        291864 kB
Buffers:         46780 kB
Cached:         662156 kB
SwapCached:        644 kB
Active:         311676 kB
Inactive:       399636 kB
HighTotal:      131008 kB
HighFree:        28392 kB
LowTotal:       903652 kB
LowFree:        263472 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25868 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 14:02:39 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 2352 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 540 variables and 4626 constraints.
c After prepocess the problem consists of 540 variables and 4266 constraints.
c preprocess terminated 5.685 s
c Initial Lower Bound: 3780
c Lower Bound Elapsed time: 0
c Not 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.93 0.97 0.93 2/54 10959
Raw data (stat): 10959 (runsolver) R 10958 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709693742 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.0019 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 2325 0 0 0 988 8 0 0 25 0 1 0 709693742 10543104 1676 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2574 1676 1111 63 0 2511 0
vsize: 10296
[startup+20.002 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 2642 0 0 0 1987 10 0 0 25 0 1 0 709693742 11894784 1993 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1993 1111 63 0 2841 0
vsize: 11616
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 2981 0 0 0 2985 12 0 0 25 0 1 0 709693742 13246464 2332 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3234 2332 1111 63 0 3171 0
vsize: 12936
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 3306 0 0 0 3983 14 0 0 25 0 1 0 709693742 14598144 2657 4294967295 134512640 134714540 3221221792 3221220332 134539284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3564 2657 1111 63 0 3501 0
vsize: 14256
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 3651 0 0 0 4981 16 0 0 25 0 1 0 709693742 16084992 3002 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3002 1111 63 0 3864 0
vsize: 15708
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 3924 0 0 0 5980 18 0 0 25 0 1 0 709693742 17166336 3275 4294967295 134512640 134714540 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4191 3275 1111 63 0 4128 0
vsize: 16764
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 4219 0 0 0 6978 19 0 0 25 0 1 0 709693742 18382848 3570 4294967295 134512640 134714540 3221221792 3221220364 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3570 1111 63 0 4425 0
vsize: 17952
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 4539 0 0 0 7976 21 0 0 25 0 1 0 709693742 19599360 3890 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4785 3890 1111 63 0 4722 0
vsize: 19140
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 4831 0 0 0 8974 24 0 0 25 0 1 0 709693742 20815872 4182 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4182 1111 63 0 5019 0
vsize: 20328
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 5081 0 0 0 9973 25 0 0 25 0 1 0 709693742 21897216 4432 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4432 1111 63 0 5283 0
vsize: 21384
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 5346 0 0 0 10971 27 0 0 25 0 1 0 709693742 22978560 4697 4294967295 134512640 134714540 3221221792 3221220560 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5610 4697 1111 63 0 5547 0
vsize: 22440
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 5733 0 0 0 11968 30 0 0 25 0 1 0 709693742 24600576 5084 4294967295 134512640 134714540 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6006 5084 1111 63 0 5943 0
vsize: 24024
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 6019 0 0 0 12966 32 0 0 25 0 1 0 709693742 25681920 5370 4294967295 134512640 134714540 3221221792 3221220352 134696544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6270 5370 1111 63 0 6207 0
vsize: 25080
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 6283 0 0 0 13965 34 0 0 25 0 1 0 709693742 26763264 5634 4294967295 134512640 134714540 3221221792 3221220364 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6534 5634 1111 63 0 6471 0
vsize: 26136
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 6480 0 0 0 14963 35 0 0 25 0 1 0 709693742 27574272 5831 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6732 5831 1111 63 0 6669 0
vsize: 26928
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 6753 0 0 0 15962 37 0 0 25 0 1 0 709693742 28790784 6104 4294967295 134512640 134714540 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7029 6104 1111 63 0 6966 0
vsize: 28116
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 7044 0 0 0 16960 38 0 0 25 0 1 0 709693742 29872128 6395 4294967295 134512640 134714540 3221221792 3221220396 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7293 6395 1111 63 0 7230 0
vsize: 29172
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 7325 0 0 0 17958 41 0 0 25 0 1 0 709693742 31088640 6676 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7590 6676 1111 63 0 7527 0
vsize: 30360
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 7597 0 0 0 18956 43 0 0 25 0 1 0 709693742 32169984 6948 4294967295 134512640 134714540 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7854 6948 1111 63 0 7791 0
vsize: 31416
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 7857 0 0 0 19954 45 0 0 25 0 1 0 709693742 33251328 7208 4294967295 134512640 134714540 3221221792 3221220480 134551950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8118 7208 1111 63 0 8055 0
vsize: 32472
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 8055 0 0 0 20952 47 0 0 25 0 1 0 709693742 34062336 7406 4294967295 134512640 134714540 3221221792 3221220472 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8316 7406 1111 63 0 8253 0
vsize: 33264
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 8296 0 0 0 21950 49 0 0 25 0 1 0 709693742 35008512 7647 4294967295 134512640 134714540 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8547 7647 1111 63 0 8484 0
vsize: 34188
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 8538 0 0 0 22949 50 0 0 25 0 1 0 709693742 36089856 7889 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8811 7889 1111 63 0 8748 0
vsize: 35244
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 8788 0 0 0 23948 52 0 0 25 0 1 0 709693742 37036032 8139 4294967295 134512640 134714540 3221221792 3221220488 134526221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9042 8139 1111 63 0 8979 0
vsize: 36168
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 9023 0 0 0 24947 53 0 0 25 0 1 0 709693742 37982208 8374 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9273 8374 1111 63 0 9210 0
vsize: 37092
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 9261 0 0 0 25946 54 0 0 25 0 1 0 709693742 39063552 8612 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9537 8612 1111 63 0 9474 0
vsize: 38148
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 9496 0 0 0 26945 55 0 0 25 0 1 0 709693742 40009728 8847 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9768 8847 1111 63 0 9705 0
vsize: 39072
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 9662 0 0 0 27944 56 0 0 25 0 1 0 709693742 40685568 9013 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9933 9013 1111 63 0 9870 0
vsize: 39732
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 9851 0 0 0 28943 57 0 0 25 0 1 0 709693742 41496576 9202 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10131 9202 1111 63 0 10068 0
vsize: 40524
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 10045 0 0 0 29942 59 0 0 25 0 1 0 709693742 42172416 9396 4294967295 134512640 134714540 3221221792 3221220508 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10296 9396 1111 63 0 10233 0
vsize: 41184
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 10276 0 0 0 30941 60 0 0 25 0 1 0 709693742 43118592 9627 4294967295 134512640 134714540 3221221792 3221220424 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10527 9627 1111 63 0 10464 0
vsize: 42108
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 10490 0 0 0 31940 61 0 0 25 0 1 0 709693742 44060672 9841 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10757 9841 1111 63 0 10694 0
vsize: 43028
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 10689 0 0 0 32939 62 0 0 25 0 1 0 709693742 44879872 10040 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10040 1111 63 0 10894 0
vsize: 43828
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 10894 0 0 0 33938 63 0 0 25 0 1 0 709693742 45690880 10245 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11155 10245 1111 63 0 11092 0
vsize: 44620
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 11079 0 0 0 34937 65 0 0 25 0 1 0 709693742 46501888 10430 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11353 10430 1111 63 0 11290 0
vsize: 45412
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 11254 0 0 0 35937 65 0 0 25 0 1 0 709693742 47177728 10605 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11518 10605 1111 63 0 11455 0
vsize: 46072
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 11460 0 0 0 36936 66 0 0 25 0 1 0 709693742 47988736 10811 4294967295 134512640 134714540 3221221792 3221220432 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11716 10811 1111 63 0 11653 0
vsize: 46864
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 11625 0 0 0 37936 67 0 0 25 0 1 0 709693742 48664576 10976 4294967295 134512640 134714540 3221221792 3221220392 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11881 10976 1111 63 0 11818 0
vsize: 47524
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 11853 0 0 0 38935 68 0 0 25 0 1 0 709693742 49610752 11204 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12112 11204 1111 63 0 12049 0
vsize: 48448
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 12074 0 0 0 39934 68 0 0 25 0 1 0 709693742 50556928 11425 4294967295 134512640 134714540 3221221792 3221220348 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12343 11425 1111 63 0 12280 0
vsize: 49372
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 12299 0 0 0 40933 69 0 0 25 0 1 0 709693742 51503104 11650 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12574 11650 1111 63 0 12511 0
vsize: 50296
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 12503 0 0 0 41933 70 0 0 25 0 1 0 709693742 52314112 11854 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12772 11854 1111 63 0 12709 0
vsize: 51088
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 12696 0 0 0 42931 72 0 0 25 0 1 0 709693742 53125120 12047 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12970 12047 1111 63 0 12907 0
vsize: 51880
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 12885 0 0 0 43930 73 0 0 25 0 1 0 709693742 53936128 12236 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13168 12236 1111 63 0 13105 0
vsize: 52672
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13049 0 0 0 44930 74 0 0 25 0 1 0 709693742 54611968 12400 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13333 12400 1111 63 0 13270 0
vsize: 53332
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13241 0 0 0 45930 74 0 0 25 0 1 0 709693742 55287808 12592 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13498 12592 1111 63 0 13435 0
vsize: 53992
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13445 0 0 0 46929 75 0 0 25 0 1 0 709693742 56233984 12796 4294967295 134512640 134714540 3221221792 3221220336 134696732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13729 12796 1111 63 0 13666 0
vsize: 54916
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13628 0 0 0 47928 76 0 0 25 0 1 0 709693742 56909824 12979 4294967295 134512640 134714540 3221221792 3221220288 134535376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13894 12979 1111 63 0 13831 0
vsize: 55576
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13789 0 0 0 48927 77 0 0 25 0 1 0 709693742 57585664 13140 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14059 13140 1111 63 0 13996 0
vsize: 56236
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 13973 0 0 0 49927 77 0 0 25 0 1 0 709693742 58396672 13324 4294967295 134512640 134714540 3221221792 3221220480 134542839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13324 1111 63 0 14194 0
vsize: 57028
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14181 0 0 0 50926 78 0 0 25 0 1 0 709693742 59207680 13531 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14455 13531 1111 63 0 14392 0
vsize: 57820
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14365 0 0 0 51926 79 0 0 25 0 1 0 709693742 59879424 13715 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14619 13715 1111 63 0 14556 0
vsize: 58476
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14542 0 0 0 52925 80 0 0 25 0 1 0 709693742 60690432 13892 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14817 13892 1111 63 0 14754 0
vsize: 59268
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14678 0 0 0 53925 81 0 0 25 0 1 0 709693742 61231104 14028 4294967295 134512640 134714540 3221221792 3221220396 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14949 14028 1111 63 0 14886 0
vsize: 59796
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14826 0 0 0 54924 81 0 0 25 0 1 0 709693742 61771776 14176 4294967295 134512640 134714540 3221221792 3221219876 134697375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15081 14176 1111 63 0 15018 0
vsize: 60324
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 14998 0 0 0 55923 82 0 0 25 0 1 0 709693742 62582784 14348 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15279 14348 1111 63 0 15216 0
vsize: 61116
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15134 0 0 0 56923 83 0 0 25 0 1 0 709693742 63123456 14483 4294967295 134512640 134714540 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15411 14483 1111 63 0 15348 0
vsize: 61644
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15268 0 0 0 57922 84 0 0 25 0 1 0 709693742 63672320 14617 4294967295 134512640 134714540 3221221792 3221220324 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15545 14617 1111 63 0 15482 0
vsize: 62180
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15396 0 0 0 58922 84 0 0 25 0 1 0 709693742 64208896 14745 4294967295 134512640 134714540 3221221792 3221220384 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15676 14745 1111 63 0 15613 0
vsize: 62704
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15509 0 0 0 59922 84 0 0 25 0 1 0 709693742 64614400 14858 4294967295 134512640 134714540 3221221792 3221220520 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15775 14858 1111 63 0 15712 0
vsize: 63100
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15634 0 0 0 60921 85 0 0 25 0 1 0 709693742 65155072 14983 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15907 14983 1111 63 0 15844 0
vsize: 63628
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15762 0 0 0 61921 86 0 0 25 0 1 0 709693742 65695744 15111 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16039 15111 1111 63 0 15976 0
vsize: 64156
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 15890 0 0 0 62920 86 0 0 25 0 1 0 709693742 66236416 15239 4294967295 134512640 134714540 3221221792 3221220384 134542680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16171 15239 1111 63 0 16108 0
vsize: 64684
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 16139 0 0 0 63919 88 0 0 25 0 1 0 709693742 67182592 15488 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16402 15488 1111 63 0 16339 0
vsize: 65608
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 16331 0 0 0 64919 88 0 0 25 0 1 0 709693742 67993600 15680 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16600 15680 1111 63 0 16537 0
vsize: 66400
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 16505 0 0 0 65918 89 0 0 25 0 1 0 709693742 68804608 15854 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16798 15854 1111 63 0 16735 0
vsize: 67192
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 16723 0 0 0 66917 90 0 0 25 0 1 0 709693742 69615616 16072 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16996 16072 1111 63 0 16933 0
vsize: 67984
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 16931 0 0 0 67916 91 0 0 25 0 1 0 709693742 70561792 16280 4294967295 134512640 134714540 3221221792 3221220304 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17227 16280 1111 63 0 17164 0
vsize: 68908
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 17117 0 0 0 68916 92 0 0 25 0 1 0 709693742 71237632 16466 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17392 16466 1111 63 0 17329 0
vsize: 69568
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 17292 0 0 0 69915 93 0 0 25 0 1 0 709693742 72048640 16641 4294967295 134512640 134714540 3221221792 3221220480 134542851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17590 16641 1111 63 0 17527 0
vsize: 70360
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 17452 0 0 0 70914 94 0 0 25 0 1 0 709693742 72589312 16801 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17722 16801 1111 63 0 17659 0
vsize: 70888
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 17633 0 0 0 71913 95 0 0 25 0 1 0 709693742 73400320 16982 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17920 16982 1111 63 0 17857 0
vsize: 71680
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 17832 0 0 0 72913 96 0 0 25 0 1 0 709693742 74211328 17181 4294967295 134512640 134714540 3221221792 3221220400 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17181 1111 63 0 18055 0
vsize: 72472
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18012 0 0 0 73912 97 0 0 25 0 1 0 709693742 74887168 17361 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18283 17361 1111 63 0 18220 0
vsize: 73132
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18166 0 0 0 74912 97 0 0 25 0 1 0 709693742 75563008 17515 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18448 17515 1111 63 0 18385 0
vsize: 73792
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18323 0 0 0 75911 98 0 0 25 0 1 0 709693742 76238848 17672 4294967295 134512640 134714540 3221221792 3221220496 134535812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18613 17672 1111 63 0 18550 0
vsize: 74452
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18464 0 0 0 76911 98 0 0 25 0 1 0 709693742 76779520 17813 4294967295 134512640 134714540 3221221792 3221220440 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18745 17813 1111 63 0 18682 0
vsize: 74980
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18597 0 0 0 77910 99 0 0 25 0 1 0 709693742 77320192 17946 4294967295 134512640 134714540 3221221792 3221220480 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18877 17946 1111 63 0 18814 0
vsize: 75508
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18721 0 0 0 78910 100 0 0 25 0 1 0 709693742 77860864 18070 4294967295 134512640 134714540 3221221792 3221220456 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19009 18070 1111 63 0 18946 0
vsize: 76036
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 18884 0 0 0 79909 101 0 0 25 0 1 0 709693742 78536704 18233 4294967295 134512640 134714540 3221221792 3221220512 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19174 18233 1111 63 0 19111 0
vsize: 76696
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19067 0 0 0 80908 102 0 0 25 0 1 0 709693742 79212544 18416 4294967295 134512640 134714540 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19339 18416 1111 63 0 19276 0
vsize: 77356
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19257 0 0 0 81908 102 0 0 25 0 1 0 709693742 80023552 18606 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19537 18606 1111 63 0 19474 0
vsize: 78148
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19389 0 0 0 82907 103 0 0 25 0 1 0 709693742 80572416 18738 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18738 1111 63 0 19608 0
vsize: 78684
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19527 0 0 0 83907 103 0 0 25 0 1 0 709693742 81113088 18876 4294967295 134512640 134714540 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19803 18876 1111 63 0 19740 0
vsize: 79212
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19695 0 0 0 84907 104 0 0 25 0 1 0 709693742 81928192 19044 4294967295 134512640 134714540 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20002 19044 1111 63 0 19939 0
vsize: 80008
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 19846 0 0 0 85907 104 0 0 25 0 1 0 709693742 82468864 19195 4294967295 134512640 134714540 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20134 19195 1111 63 0 20071 0
vsize: 80536
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20032 0 0 0 86906 105 0 0 25 0 1 0 709693742 83288064 19381 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20334 19381 1111 63 0 20271 0
vsize: 81336
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20205 0 0 0 87906 106 0 0 25 0 1 0 709693742 83963904 19554 4294967295 134512640 134714540 3221221792 3221220444 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20499 19554 1111 63 0 20436 0
vsize: 81996
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20402 0 0 0 88905 107 0 0 25 0 1 0 709693742 84774912 19751 4294967295 134512640 134714540 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20697 19751 1111 63 0 20634 0
vsize: 82788
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20542 0 0 0 89903 108 0 0 25 0 1 0 709693742 85315584 19891 4294967295 134512640 134714540 3221221792 3221220352 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20829 19891 1111 63 0 20766 0
vsize: 83316
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20676 0 0 0 90903 109 0 0 25 0 1 0 709693742 85856256 20025 4294967295 134512640 134714540 3221221792 3221220528 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20961 20025 1111 63 0 20898 0
vsize: 83844
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20815 0 0 0 91902 110 0 0 25 0 1 0 709693742 86536192 20164 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21127 20164 1111 63 0 21064 0
vsize: 84508
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 20947 0 0 0 92902 110 0 0 25 0 1 0 709693742 87076864 20296 4294967295 134512640 134714540 3221221792 3221220396 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21259 20296 1111 63 0 21196 0
vsize: 85036
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21047 0 0 0 93902 111 0 0 25 0 1 0 709693742 87482368 20396 4294967295 134512640 134714540 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21358 20396 1111 63 0 21295 0
vsize: 85432
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21170 0 0 0 94901 112 0 0 25 0 1 0 709693742 87887872 20519 4294967295 134512640 134714540 3221221792 3221220552 134543541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21457 20519 1111 63 0 21394 0
vsize: 85828
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21342 0 0 0 95901 112 0 0 25 0 1 0 709693742 88563712 20691 4294967295 134512640 134714540 3221221792 3221220348 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21622 20691 1111 63 0 21559 0
vsize: 86488
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21494 0 0 0 96900 113 0 0 25 0 1 0 709693742 89239552 20843 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21787 20843 1111 63 0 21724 0
vsize: 87148
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21671 0 0 0 97900 114 0 0 25 0 1 0 709693742 89915392 21020 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21952 21020 1111 63 0 21889 0
vsize: 87808
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21818 0 0 0 98899 114 0 0 25 0 1 0 709693742 90587136 21167 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22116 21167 1111 63 0 22053 0
vsize: 88464
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 21946 0 0 0 99899 115 0 0 25 0 1 0 709693742 91144192 21295 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22252 21295 1111 63 0 22189 0
vsize: 89008
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22079 0 0 0 100898 116 0 0 25 0 1 0 709693742 91684864 21428 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22384 21428 1111 63 0 22321 0
vsize: 89536
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22226 0 0 0 101898 116 0 0 25 0 1 0 709693742 92229632 21575 4294967295 134512640 134714540 3221221792 3221220520 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22517 21575 1111 63 0 22454 0
vsize: 90068
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22386 0 0 0 102897 117 0 0 25 0 1 0 709693742 92905472 21735 4294967295 134512640 134714540 3221221792 3221220332 134697535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22682 21735 1111 63 0 22619 0
vsize: 90728
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22582 0 0 0 103897 118 0 0 25 0 1 0 709693742 93716480 21931 4294967295 134512640 134714540 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22880 21931 1111 63 0 22817 0
vsize: 91520
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22716 0 0 0 104896 119 0 0 25 0 1 0 709693742 94265344 22065 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23014 22065 1111 63 0 22951 0
vsize: 92056
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 22852 0 0 0 105896 119 0 0 25 0 1 0 709693742 94801920 22201 4294967295 134512640 134714540 3221221792 3221220520 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23145 22201 1111 63 0 23082 0
vsize: 92580
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23004 0 0 0 106895 120 0 0 25 0 1 0 709693742 95477760 22353 4294967295 134512640 134714540 3221221792 3221220368 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23310 22353 1111 63 0 23247 0
vsize: 93240
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23103 0 0 0 107894 121 0 0 25 0 1 0 709693742 95887360 22452 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23410 22452 1111 63 0 23347 0
vsize: 93640
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23243 0 0 0 108894 122 0 0 25 0 1 0 709693742 96428032 22592 4294967295 134512640 134714540 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23542 22592 1111 63 0 23479 0
vsize: 94168
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23419 0 0 0 109893 123 0 0 25 0 1 0 709693742 97103872 22767 4294967295 134512640 134714540 3221221792 3221220432 134539369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23707 22767 1111 63 0 23644 0
vsize: 94828
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23528 0 0 0 110893 123 0 0 25 0 1 0 709693742 97644544 22876 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23839 22876 1111 63 0 23776 0
vsize: 95356
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23638 0 0 0 111893 123 0 0 25 0 1 0 709693742 98050048 22986 4294967295 134512640 134714540 3221221792 3221220412 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23938 22986 1111 63 0 23875 0
vsize: 95752
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23766 0 0 0 112893 124 0 0 25 0 1 0 709693742 98590720 23114 4294967295 134512640 134714540 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24070 23114 1111 63 0 24007 0
vsize: 96280
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 23923 0 0 0 113892 125 0 0 25 0 1 0 709693742 99266560 23271 4294967295 134512640 134714540 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24235 23271 1111 63 0 24172 0
vsize: 96940
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 24039 0 0 0 114891 126 0 0 25 0 1 0 709693742 99672064 23387 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24334 23387 1111 63 0 24271 0
vsize: 97336
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 24169 0 0 0 115891 126 0 0 25 0 1 0 709693742 100212736 23517 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24466 23517 1111 63 0 24403 0
vsize: 97864
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 24278 0 0 0 116890 127 0 0 25 0 1 0 709693742 100618240 23626 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24565 23626 1111 63 0 24502 0
vsize: 98260
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 10959
Raw data (stat): 10959 (bsolo_mis) R 10958 7876 7672 0 -1 0 24278 0 0 0 116890 127 0 0 25 0 1 0 709693742 100618240 23626 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24565 23626 1111 63 0 24502 0
vsize: 0

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