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/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
MD5SUM	6a0000bd3257094a387dbf208b4df8cf
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.073987
Number of variables	2400
Total number of constraints	140
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	40
Trace number 23204

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 10:22:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=111 boxname=wulflinc31 idbench=13 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6a0000bd3257094a387dbf208b4df8cf  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_40_pb.cnf.cr.opb
IDLAUNCH: 111
/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:        931524 kB
Buffers:         36008 kB
Cached:          45272 kB
SwapCached:        864 kB
Active:          70356 kB
Inactive:        13296 kB
HighTotal:      131008 kB
HighFree:        84784 kB
LowTotal:       903652 kB
LowFree:        846740 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13916 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 10:42:06 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 111 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2400 variables and 140 constraints.
c After prepocess the problem consists of 2400 variables and 140 constraints.
c preprocess terminated 0.854 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.14 1.00 0.93 2/54 10548
Raw data (stat): 10548 (runsolver) R 10547 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630721395 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1321 0 0 0 991 6 0 0 25 0 1 0 630721395 9162752 1296 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2237 1296 1111 63 0 2174 0
vsize: 8948
[startup+20.0025 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1439 0 0 0 1989 8 0 0 25 0 1 0 630721395 9568256 1414 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2336 1414 1111 63 0 2273 0
vsize: 9344
[startup+30.0031 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1526 0 0 0 2987 10 0 0 25 0 1 0 630721395 9973760 1501 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2435 1501 1111 63 0 2372 0
vsize: 9740
[startup+40.003 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1666 0 0 0 3984 13 0 0 25 0 1 0 630721395 10514432 1641 4294967295 134512640 134714540 3221221776 3221220456 134613605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2567 1641 1111 63 0 2504 0
vsize: 10268
[startup+50.0033 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1714 0 0 0 4982 15 0 0 25 0 1 0 630721395 10649600 1689 4294967295 134512640 134714540 3221221776 3221220332 134535970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1689 1111 63 0 2537 0
vsize: 10400
[startup+60.0039 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1733 0 0 0 5980 17 0 0 25 0 1 0 630721395 10780672 1708 4294967295 134512640 134714540 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1708 1111 63 0 2569 0
vsize: 10528
[startup+70.0048 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1749 0 0 0 6978 19 0 0 25 0 1 0 630721395 10911744 1724 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1724 1111 63 0 2601 0
vsize: 10656
[startup+80.0051 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1765 0 0 0 7976 21 0 0 25 0 1 0 630721395 10911744 1740 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1740 1111 63 0 2601 0
vsize: 10656
[startup+90.0056 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1787 0 0 0 8974 24 0 0 25 0 1 0 630721395 11038720 1762 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2695 1762 1111 63 0 2632 0
vsize: 10780
[startup+100.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1811 0 0 0 9971 27 0 0 25 0 1 0 630721395 11173888 1786 4294967295 134512640 134714540 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2728 1786 1111 63 0 2665 0
vsize: 10912
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1911 0 0 0 10969 29 0 0 25 0 1 0 630721395 11579392 1886 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1886 1111 63 0 2764 0
vsize: 11308
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 1995 0 0 0 11967 32 0 0 25 0 1 0 630721395 11845632 1970 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2892 1970 1111 63 0 2829 0
vsize: 11568
[startup+130.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2046 0 0 0 12965 34 0 0 25 0 1 0 630721395 12115968 2021 4294967295 134512640 134714540 3221221776 3221220480 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2021 1111 63 0 2895 0
vsize: 11832
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2078 0 0 0 13963 36 0 0 25 0 1 0 630721395 12251136 2053 4294967295 134512640 134714540 3221221776 3221220468 134534132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2053 1111 63 0 2928 0
vsize: 11964
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2078 0 0 0 14961 38 0 0 25 0 1 0 630721395 12251136 2053 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2053 1111 63 0 2928 0
vsize: 11964
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2092 0 0 0 15959 40 0 0 25 0 1 0 630721395 12251136 2067 4294967295 134512640 134714540 3221221776 3221220416 134696126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2067 1111 63 0 2928 0
vsize: 11964
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2119 0 0 0 16957 42 0 0 25 0 1 0 630721395 12365824 2094 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2094 1111 63 0 2956 0
vsize: 12076
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2138 0 0 0 17955 44 0 0 25 0 1 0 630721395 12500992 2113 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3052 2113 1111 63 0 2989 0
vsize: 12208
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2194 0 0 0 18953 47 0 0 25 0 1 0 630721395 12636160 2169 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2169 1111 63 0 3022 0
vsize: 12340
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2225 0 0 0 19951 49 0 0 25 0 1 0 630721395 12771328 2200 4294967295 134512640 134714540 3221221776 3221220480 134528434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2200 1111 63 0 3055 0
vsize: 12472
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2253 0 0 0 20950 50 0 0 25 0 1 0 630721395 12906496 2228 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2228 1111 63 0 3088 0
vsize: 12604
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2262 0 0 0 21949 51 0 0 25 0 1 0 630721395 12906496 2237 4294967295 134512640 134714540 3221221776 3221220368 134549770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2237 1111 63 0 3088 0
vsize: 12604
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2337 0 0 0 22947 52 0 0 25 0 1 0 630721395 13291520 2312 4294967295 134512640 134714540 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3245 2312 1111 63 0 3182 0
vsize: 12980
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2364 0 0 0 23946 54 0 0 25 0 1 0 630721395 13426688 2339 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2339 1111 63 0 3215 0
vsize: 13112
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2393 0 0 0 24944 56 0 0 25 0 1 0 630721395 13541376 2368 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2368 1111 63 0 3243 0
vsize: 13224
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2404 0 0 0 25942 58 0 0 25 0 1 0 630721395 13541376 2379 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2379 1111 63 0 3243 0
vsize: 13224
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2419 0 0 0 26942 59 0 0 25 0 1 0 630721395 13541376 2394 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2394 1111 63 0 3243 0
vsize: 13224
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2437 0 0 0 27940 61 0 0 25 0 1 0 630721395 13672448 2412 4294967295 134512640 134714540 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2412 1111 63 0 3275 0
vsize: 13352
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2440 0 0 0 28938 63 0 0 25 0 1 0 630721395 13672448 2415 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2415 1111 63 0 3275 0
vsize: 13352
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2463 0 0 0 29936 65 0 0 25 0 1 0 630721395 13807616 2438 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2438 1111 63 0 3308 0
vsize: 13484
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2554 0 0 0 30934 67 0 0 25 0 1 0 630721395 14180352 2529 4294967295 134512640 134714540 3221221776 3221220512 134558535 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2529 1111 63 0 3399 0
vsize: 13848
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2579 0 0 0 31932 70 0 0 25 0 1 0 630721395 14315520 2554 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2554 1111 63 0 3432 0
vsize: 13980
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2582 0 0 0 32931 71 0 0 25 0 1 0 630721395 14315520 2557 4294967295 134512640 134714540 3221221776 3221220484 134535806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2557 1111 63 0 3432 0
vsize: 13980
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2595 0 0 0 33930 72 0 0 25 0 1 0 630721395 14315520 2570 4294967295 134512640 134714540 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2570 1111 63 0 3432 0
vsize: 13980
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2603 0 0 0 34928 74 0 0 25 0 1 0 630721395 14315520 2578 4294967295 134512640 134714540 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2578 1111 63 0 3432 0
vsize: 13980
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2629 0 0 0 35927 75 0 0 25 0 1 0 630721395 14450688 2604 4294967295 134512640 134714540 3221221776 3221220384 134523396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2604 1111 63 0 3465 0
vsize: 14112
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2639 0 0 0 36926 77 0 0 25 0 1 0 630721395 14450688 2614 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2614 1111 63 0 3465 0
vsize: 14112
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2645 0 0 0 37924 78 0 0 25 0 1 0 630721395 14569472 2620 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2620 1111 63 0 3494 0
vsize: 14228
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2661 0 0 0 38923 80 0 0 25 0 1 0 630721395 14569472 2636 4294967295 134512640 134714540 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2636 1111 63 0 3494 0
vsize: 14228
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2710 0 0 0 39921 82 0 0 25 0 1 0 630721395 14835712 2685 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3622 2685 1111 63 0 3559 0
vsize: 14488
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2740 0 0 0 40919 84 0 0 25 0 1 0 630721395 14966784 2715 4294967295 134512640 134714540 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3654 2715 1111 63 0 3591 0
vsize: 14616
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2783 0 0 0 41917 87 0 0 25 0 1 0 630721395 15101952 2758 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2758 1111 63 0 3624 0
vsize: 14748
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2807 0 0 0 42915 88 0 0 25 0 1 0 630721395 15237120 2782 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3720 2782 1111 63 0 3657 0
vsize: 14880
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2822 0 0 0 43913 91 0 0 25 0 1 0 630721395 15237120 2797 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3720 2797 1111 63 0 3657 0
vsize: 14880
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2866 0 0 0 44912 92 0 0 25 0 1 0 630721395 15372288 2841 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2841 1111 63 0 3690 0
vsize: 15012
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2888 0 0 0 45911 93 0 0 25 0 1 0 630721395 15507456 2863 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2863 1111 63 0 3723 0
vsize: 15144
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2890 0 0 0 46910 94 0 0 25 0 1 0 630721395 15507456 2865 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2865 1111 63 0 3723 0
vsize: 15144
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2892 0 0 0 47909 95 0 0 25 0 1 0 630721395 15507456 2867 4294967295 134512640 134714540 3221221776 3221219848 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2867 1111 63 0 3723 0
vsize: 15144
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2899 0 0 0 48908 96 0 0 25 0 1 0 630721395 15507456 2874 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2874 1111 63 0 3723 0
vsize: 15144
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2903 0 0 0 49907 98 0 0 25 0 1 0 630721395 15642624 2878 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3819 2878 1111 63 0 3756 0
vsize: 15276
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2920 0 0 0 50905 100 0 0 25 0 1 0 630721395 15642624 2895 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3819 2895 1111 63 0 3756 0
vsize: 15276
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2936 0 0 0 51903 102 0 0 25 0 1 0 630721395 15777792 2911 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2911 1111 63 0 3789 0
vsize: 15408
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2959 0 0 0 52902 103 0 0 25 0 1 0 630721395 15777792 2934 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2934 1111 63 0 3789 0
vsize: 15408
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 2969 0 0 0 53900 105 0 0 25 0 1 0 630721395 15912960 2944 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3885 2944 1111 63 0 3822 0
vsize: 15540
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3006 0 0 0 54899 107 0 0 25 0 1 0 630721395 16027648 2981 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2981 1111 63 0 3850 0
vsize: 15652
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3059 0 0 0 55897 109 0 0 25 0 1 0 630721395 16277504 3034 4294967295 134512640 134714540 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3974 3034 1111 63 0 3911 0
vsize: 15896
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3105 0 0 0 56896 110 0 0 25 0 1 0 630721395 16412672 3080 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3080 1111 63 0 3944 0
vsize: 16028
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3107 0 0 0 57895 111 0 0 25 0 1 0 630721395 16412672 3082 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3082 1111 63 0 3944 0
vsize: 16028
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3119 0 0 0 58893 113 0 0 25 0 1 0 630721395 16412672 3094 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3094 1111 63 0 3944 0
vsize: 16028
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3127 0 0 0 59892 115 0 0 25 0 1 0 630721395 16547840 3102 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4040 3102 1111 63 0 3977 0
vsize: 16160
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3154 0 0 0 60891 116 0 0 25 0 1 0 630721395 16547840 3129 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4040 3129 1111 63 0 3977 0
vsize: 16160
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3164 0 0 0 61890 117 0 0 25 0 1 0 630721395 16683008 3139 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4073 3139 1111 63 0 4010 0
vsize: 16292
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3180 0 0 0 62889 118 0 0 25 0 1 0 630721395 16683008 3155 4294967295 134512640 134714540 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4073 3155 1111 63 0 4010 0
vsize: 16292
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3201 0 0 0 63889 118 0 0 25 0 1 0 630721395 16764928 3176 4294967295 134512640 134714540 3221221776 3221220344 1077377246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4093 3176 1111 63 0 4030 0
vsize: 16372
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3240 0 0 0 64886 121 0 0 25 0 1 0 630721395 16900096 3215 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3215 1111 63 0 4063 0
vsize: 16504
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3262 0 0 0 65885 122 0 0 25 0 1 0 630721395 17035264 3237 4294967295 134512640 134714540 3221221776 3221220432 134536753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3237 1111 63 0 4096 0
vsize: 16636
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3266 0 0 0 66884 123 0 0 25 0 1 0 630721395 17035264 3241 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3241 1111 63 0 4096 0
vsize: 16636
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3266 0 0 0 67883 125 0 0 25 0 1 0 630721395 17035264 3241 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3241 1111 63 0 4096 0
vsize: 16636
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3280 0 0 0 68882 125 0 0 25 0 1 0 630721395 17170432 3255 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4192 3255 1111 63 0 4129 0
vsize: 16768
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3280 0 0 0 69881 127 0 0 25 0 1 0 630721395 17170432 3255 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4192 3255 1111 63 0 4129 0
vsize: 16768
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3281 0 0 0 70880 128 0 0 25 0 1 0 630721395 17170432 3256 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4192 3256 1111 63 0 4129 0
vsize: 16768
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3288 0 0 0 71879 130 0 0 25 0 1 0 630721395 17170432 3263 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4192 3263 1111 63 0 4129 0
vsize: 16768
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3335 0 0 0 72878 131 0 0 25 0 1 0 630721395 17305600 3310 4294967295 134512640 134714540 3221221776 3221220564 134584851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4225 3310 1111 63 0 4162 0
vsize: 16900
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3381 0 0 0 73876 133 0 0 25 0 1 0 630721395 17575936 3356 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3356 1111 63 0 4228 0
vsize: 17164
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3392 0 0 0 74875 134 0 0 25 0 1 0 630721395 17575936 3367 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3367 1111 63 0 4228 0
vsize: 17164
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3397 0 0 0 75874 135 0 0 25 0 1 0 630721395 17575936 3372 4294967295 134512640 134714540 3221221776 3221220292 134535016 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3372 1111 63 0 4228 0
vsize: 17164
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3397 0 0 0 76873 137 0 0 25 0 1 0 630721395 17575936 3372 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3372 1111 63 0 4228 0
vsize: 17164
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3398 0 0 0 77872 137 0 0 25 0 1 0 630721395 17575936 3373 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3373 1111 63 0 4228 0
vsize: 17164
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3404 0 0 0 78870 139 0 0 25 0 1 0 630721395 17575936 3379 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3379 1111 63 0 4228 0
vsize: 17164
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3417 0 0 0 79871 141 0 0 25 0 1 0 630721395 17711104 3392 4294967295 134512640 134714540 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4324 3392 1111 63 0 4261 0
vsize: 17296
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3465 0 0 0 80870 143 0 0 25 0 1 0 630721395 17846272 3440 4294967295 134512640 134714540 3221221776 3221220316 134539270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3440 1111 63 0 4294 0
vsize: 17428
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3479 0 0 0 81868 145 0 0 25 0 1 0 630721395 17981440 3454 4294967295 134512640 134714540 3221221776 3221220512 134523980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4390 3454 1111 63 0 4327 0
vsize: 17560
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3495 0 0 0 82867 146 0 0 25 0 1 0 630721395 17981440 3470 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4390 3470 1111 63 0 4327 0
vsize: 17560
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3515 0 0 0 83865 148 0 0 25 0 1 0 630721395 18116608 3490 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4423 3490 1111 63 0 4360 0
vsize: 17692
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3575 0 0 0 84863 150 0 0 25 0 1 0 630721395 18386944 3550 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4489 3550 1111 63 0 4426 0
vsize: 17956
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3603 0 0 0 85862 152 0 0 25 0 1 0 630721395 18386944 3578 4294967295 134512640 134714540 3221221776 3221220488 134591888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4489 3578 1111 63 0 4426 0
vsize: 17956
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3643 0 0 0 86860 154 0 0 25 0 1 0 630721395 18657280 3618 4294967295 134512640 134714540 3221221776 3221220416 134696112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3618 1111 63 0 4492 0
vsize: 18220
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3669 0 0 0 87858 156 0 0 25 0 1 0 630721395 18657280 3644 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3644 1111 63 0 4492 0
vsize: 18220
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3678 0 0 0 88857 157 0 0 25 0 1 0 630721395 18792448 3653 4294967295 134512640 134714540 3221221776 3221220572 134554978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4588 3653 1111 63 0 4525 0
vsize: 18352
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3694 0 0 0 89856 159 0 0 25 0 1 0 630721395 18792448 3669 4294967295 134512640 134714540 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4588 3669 1111 63 0 4525 0
vsize: 18352
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3717 0 0 0 90854 160 0 0 25 0 1 0 630721395 18927616 3692 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4621 3692 1111 63 0 4558 0
vsize: 18484
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3770 0 0 0 91853 162 0 0 25 0 1 0 630721395 19197952 3745 4294967295 134512640 134714540 3221221776 3221220272 134535394 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4687 3745 1111 63 0 4624 0
vsize: 18748
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3804 0 0 0 92851 163 0 0 25 0 1 0 630721395 19329024 3779 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4719 3779 1111 63 0 4656 0
vsize: 18876
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3876 0 0 0 93850 165 0 0 25 0 1 0 630721395 19599360 3851 4294967295 134512640 134714540 3221221776 3221220560 134529393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4785 3851 1111 63 0 4722 0
vsize: 19140
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3918 0 0 0 94849 167 0 0 25 0 1 0 630721395 19730432 3893 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4817 3893 1111 63 0 4754 0
vsize: 19268
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3943 0 0 0 95847 169 0 0 25 0 1 0 630721395 19865600 3918 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 3918 1111 63 0 4787 0
vsize: 19400
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3943 0 0 0 96845 170 0 0 25 0 1 0 630721395 19865600 3918 4294967295 134512640 134714540 3221221776 3221220392 134613761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 3918 1111 63 0 4787 0
vsize: 19400
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3961 0 0 0 97845 171 0 0 25 0 1 0 630721395 19865600 3936 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 3936 1111 63 0 4787 0
vsize: 19400
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3973 0 0 0 98843 172 0 0 25 0 1 0 630721395 20000768 3948 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3948 1111 63 0 4820 0
vsize: 19532
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 3992 0 0 0 99842 174 0 0 25 0 1 0 630721395 20000768 3967 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3967 1111 63 0 4820 0
vsize: 19532
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4000 0 0 0 100841 175 0 0 25 0 1 0 630721395 20135936 3975 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3975 1111 63 0 4853 0
vsize: 19664
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4001 0 0 0 101840 177 0 0 25 0 1 0 630721395 20135936 3976 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3976 1111 63 0 4853 0
vsize: 19664
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4013 0 0 0 102839 178 0 0 25 0 1 0 630721395 20135936 3988 4294967295 134512640 134714540 3221221776 3221220344 1077377712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3988 1111 63 0 4853 0
vsize: 19664
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4013 0 0 0 103838 179 0 0 25 0 1 0 630721395 20135936 3988 4294967295 134512640 134714540 3221221776 3221220512 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3988 1111 63 0 4853 0
vsize: 19664
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4013 0 0 0 104837 180 0 0 25 0 1 0 630721395 20135936 3988 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3988 1111 63 0 4853 0
vsize: 19664
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4013 0 0 0 105835 182 0 0 25 0 1 0 630721395 20135936 3988 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3988 1111 63 0 4853 0
vsize: 19664
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4022 0 0 0 106834 184 0 0 25 0 1 0 630721395 20135936 3997 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4916 3997 1111 63 0 4853 0
vsize: 19664
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4037 0 0 0 107833 185 0 0 25 0 1 0 630721395 20271104 4012 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4012 1111 63 0 4886 0
vsize: 19796
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4049 0 0 0 108832 185 0 0 25 0 1 0 630721395 20271104 4024 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4024 1111 63 0 4886 0
vsize: 19796
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4049 0 0 0 109831 187 0 0 25 0 1 0 630721395 20271104 4024 4294967295 134512640 134714540 3221221776 3221220560 134529200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4024 1111 63 0 4886 0
vsize: 19796
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4051 0 0 0 110829 189 0 0 25 0 1 0 630721395 20271104 4026 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4026 1111 63 0 4886 0
vsize: 19796
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4051 0 0 0 111828 191 0 0 25 0 1 0 630721395 20271104 4026 4294967295 134512640 134714540 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4026 1111 63 0 4886 0
vsize: 19796
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4055 0 0 0 112826 192 0 0 25 0 1 0 630721395 20271104 4030 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4030 1111 63 0 4886 0
vsize: 19796
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4068 0 0 0 113826 193 0 0 25 0 1 0 630721395 20406272 4043 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4043 1111 63 0 4919 0
vsize: 19928
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4068 0 0 0 114824 195 0 0 25 0 1 0 630721395 20406272 4043 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4043 1111 63 0 4919 0
vsize: 19928
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4088 0 0 0 115823 197 0 0 25 0 1 0 630721395 20406272 4063 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4063 1111 63 0 4919 0
vsize: 19928
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4088 0 0 0 116822 197 0 0 25 0 1 0 630721395 20406272 4063 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4063 1111 63 0 4919 0
vsize: 19928
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 10548
Raw data (stat): 10548 (bsolo_mis) R 10547 7876 7672 0 -1 0 4088 0 0 0 116822 197 0 0 25 0 1 0 630721395 20406272 4063 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4063 1111 63 0 4919 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.04
CPU system time (s): 1.9977
CPU usage (%): 100.012
Max. virtual memory (Kb): 19928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####