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-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	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	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23399

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 05:03:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=462 boxname=wulflinc31 idbench=52 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 462
/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:        923544 kB
Buffers:         39348 kB
Cached:          49604 kB
SwapCached:        944 kB
Active:          74516 kB
Inactive:        16912 kB
HighTotal:      131008 kB
HighFree:        80388 kB
LowTotal:       903652 kB
LowFree:        843156 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14220 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 05:22:46 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 462 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2280 variables and 1636 constraints.
c After prepocess the problem consists of 2280 variables and 1636 constraints.
c preprocess terminated 5.105 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): 0.94 1.01 0.99 2/54 31592
Raw data (stat): 31592 (runsolver) R 31591 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646087119 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.95 1.01 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1672 0 0 0 990 6 0 0 25 0 1 0 646087119 10485760 1647 4294967295 134512640 134714540 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1647 1111 63 0 2497 0
vsize: 10240
[startup+20.0016 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1687 0 0 0 1988 8 0 0 25 0 1 0 646087119 10596352 1662 4294967295 134512640 134714540 3221221776 3221220420 134696421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2587 1662 1111 63 0 2524 0
vsize: 10348
[startup+30.0024 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1727 0 0 0 2986 9 0 0 25 0 1 0 646087119 10731520 1702 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2620 1702 1111 63 0 2557 0
vsize: 10480
[startup+40.0033 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1767 0 0 0 3984 11 0 0 25 0 1 0 646087119 10866688 1742 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1742 1111 63 0 2590 0
vsize: 10612
[startup+50.0052 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1776 0 0 0 4984 12 0 0 25 0 1 0 646087119 11001856 1751 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1751 1111 63 0 2623 0
vsize: 10744
[startup+60.0051 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1832 0 0 0 5982 14 0 0 25 0 1 0 646087119 11137024 1807 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1807 1111 63 0 2656 0
vsize: 10876
[startup+70.0063 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1873 0 0 0 6981 16 0 0 25 0 1 0 646087119 11407360 1848 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1848 1111 63 0 2722 0
vsize: 11140
[startup+80.007 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1877 0 0 0 7980 17 0 0 25 0 1 0 646087119 11395072 1852 4294967295 134512640 134714540 3221221776 3221220560 134529030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1852 1111 63 0 2719 0
vsize: 11128
[startup+90.0069 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1904 0 0 0 8979 18 0 0 25 0 1 0 646087119 11530240 1879 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1879 1111 63 0 2752 0
vsize: 11260
[startup+100.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1906 0 0 0 9977 20 0 0 25 0 1 0 646087119 11530240 1881 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1881 1111 63 0 2752 0
vsize: 11260
[startup+110.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1935 0 0 0 10976 21 0 0 25 0 1 0 646087119 11665408 1910 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2848 1910 1111 63 0 2785 0
vsize: 11392
[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1959 0 0 0 11975 22 0 0 25 0 1 0 646087119 11767808 1934 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1934 1111 63 0 2810 0
vsize: 11492
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1959 0 0 0 12974 23 0 0 25 0 1 0 646087119 11767808 1934 4294967295 134512640 134714540 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1934 1111 63 0 2810 0
vsize: 11492
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1964 0 0 0 13973 25 0 0 25 0 1 0 646087119 11767808 1939 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1939 1111 63 0 2810 0
vsize: 11492
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1971 0 0 0 14972 26 0 0 25 0 1 0 646087119 11767808 1946 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1946 1111 63 0 2810 0
vsize: 11492
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31592
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1990 0 0 0 15970 28 0 0 25 0 1 0 646087119 11902976 1965 4294967295 134512640 134714540 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2906 1965 1111 63 0 2843 0
vsize: 11624
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1990 0 0 0 16969 29 0 0 25 0 1 0 646087119 11902976 1965 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2906 1965 1111 63 0 2843 0
vsize: 11624
[startup+180.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1998 0 0 0 17968 31 0 0 25 0 1 0 646087119 11902976 1973 4294967295 134512640 134714540 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2906 1973 1111 63 0 2843 0
vsize: 11624
[startup+190.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 1999 0 0 0 18967 32 0 0 25 0 1 0 646087119 11902976 1974 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2906 1974 1111 63 0 2843 0
vsize: 11624
[startup+200.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2038 0 0 0 19966 33 0 0 25 0 1 0 646087119 12038144 2013 4294967295 134512640 134714540 3221221776 3221220344 1077377221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2013 1111 63 0 2876 0
vsize: 11756
[startup+210.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2038 0 0 0 20965 34 0 0 25 0 1 0 646087119 12038144 2013 4294967295 134512640 134714540 3221221776 3221220316 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2013 1111 63 0 2876 0
vsize: 11756
[startup+220.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2057 0 0 0 21963 36 0 0 25 0 1 0 646087119 12173312 2032 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2032 1111 63 0 2909 0
vsize: 11888
[startup+230.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2057 0 0 0 22962 38 0 0 25 0 1 0 646087119 12173312 2032 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2032 1111 63 0 2909 0
vsize: 11888
[startup+240.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2071 0 0 0 23961 39 0 0 25 0 1 0 646087119 12165120 2046 4294967295 134512640 134714540 3221221776 3221220560 134528896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2046 1111 63 0 2907 0
vsize: 11880
[startup+250.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2086 0 0 0 24960 40 0 0 25 0 1 0 646087119 12300288 2061 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2061 1111 63 0 2940 0
vsize: 12012
[startup+260.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2094 0 0 0 25959 41 0 0 25 0 1 0 646087119 12300288 2069 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2069 1111 63 0 2940 0
vsize: 12012
[startup+270.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2121 0 0 0 26959 42 0 0 25 0 1 0 646087119 12414976 2096 4294967295 134512640 134714540 3221221776 3221220520 134558544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2096 1111 63 0 2968 0
vsize: 12124
[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 27957 44 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220608 134551444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+290.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 28956 45 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+300.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 29955 46 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+310.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 30953 48 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+320.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 31952 50 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220372 134548566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 32951 51 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+340.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2139 0 0 0 33950 52 0 0 25 0 1 0 646087119 12414976 2114 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2114 1111 63 0 2968 0
vsize: 12124
[startup+350.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2156 0 0 0 34948 54 0 0 25 0 1 0 646087119 12550144 2131 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2131 1111 63 0 3001 0
vsize: 12256
[startup+360.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2166 0 0 0 35947 55 0 0 25 0 1 0 646087119 12550144 2141 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2141 1111 63 0 3001 0
vsize: 12256
[startup+370.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2175 0 0 0 36946 57 0 0 25 0 1 0 646087119 12550144 2150 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2150 1111 63 0 3001 0
vsize: 12256
[startup+380.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2181 0 0 0 37945 58 0 0 25 0 1 0 646087119 12664832 2156 4294967295 134512640 134714540 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3092 2156 1111 63 0 3029 0
vsize: 12368
[startup+390.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2204 0 0 0 38944 59 0 0 25 0 1 0 646087119 12664832 2179 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3092 2179 1111 63 0 3029 0
vsize: 12368
[startup+400.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2241 0 0 0 39943 60 0 0 25 0 1 0 646087119 12890112 2216 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2216 1111 63 0 3084 0
vsize: 12588
[startup+410.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2241 0 0 0 40942 61 0 0 25 0 1 0 646087119 12890112 2216 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2216 1111 63 0 3084 0
vsize: 12588
[startup+420.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2253 0 0 0 41941 62 0 0 25 0 1 0 646087119 12890112 2228 4294967295 134512640 134714540 3221221776 3221220344 1077377368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2228 1111 63 0 3084 0
vsize: 12588
[startup+430.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2254 0 0 0 42940 64 0 0 25 0 1 0 646087119 12890112 2229 4294967295 134512640 134714540 3221221776 3221220364 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2229 1111 63 0 3084 0
vsize: 12588
[startup+440.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2254 0 0 0 43939 65 0 0 25 0 1 0 646087119 12890112 2229 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2229 1111 63 0 3084 0
vsize: 12588
[startup+450.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2254 0 0 0 44938 66 0 0 25 0 1 0 646087119 12890112 2229 4294967295 134512640 134714540 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2229 1111 63 0 3084 0
vsize: 12588
[startup+460.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2269 0 0 0 45935 69 0 0 25 0 1 0 646087119 13025280 2244 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2244 1111 63 0 3117 0
vsize: 12720
[startup+470.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2269 0 0 0 46935 70 0 0 25 0 1 0 646087119 13025280 2244 4294967295 134512640 134714540 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2244 1111 63 0 3117 0
vsize: 12720
[startup+480.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2272 0 0 0 47934 71 0 0 25 0 1 0 646087119 13025280 2247 4294967295 134512640 134714540 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2247 1111 63 0 3117 0
vsize: 12720
[startup+490.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2309 0 0 0 48933 72 0 0 25 0 1 0 646087119 13160448 2284 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2284 1111 63 0 3150 0
vsize: 12852
[startup+500.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2309 0 0 0 49932 73 0 0 25 0 1 0 646087119 13160448 2284 4294967295 134512640 134714540 3221221776 3221220216 1077377480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2284 1111 63 0 3150 0
vsize: 12852
[startup+510.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2313 0 0 0 50932 74 0 0 25 0 1 0 646087119 13160448 2288 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2288 1111 63 0 3150 0
vsize: 12852
[startup+520.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2323 0 0 0 51931 75 0 0 25 0 1 0 646087119 13160448 2298 4294967295 134512640 134714540 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2298 1111 63 0 3150 0
vsize: 12852
[startup+530.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2335 0 0 0 52929 76 0 0 25 0 1 0 646087119 13295616 2310 4294967295 134512640 134714540 3221221776 3221220012 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3246 2310 1111 63 0 3183 0
vsize: 12984
[startup+540.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2353 0 0 0 53928 78 0 0 25 0 1 0 646087119 13279232 2328 4294967295 134512640 134714540 3221221776 3221220448 1076647864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3242 2328 1111 63 0 3179 0
vsize: 12968
[startup+550.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2353 0 0 0 54926 80 0 0 25 0 1 0 646087119 13279232 2328 4294967295 134512640 134714540 3221221776 3221220172 1077379956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3242 2328 1111 63 0 3179 0
vsize: 12968
[startup+560.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2361 0 0 0 55925 81 0 0 25 0 1 0 646087119 13414400 2336 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3275 2336 1111 63 0 3212 0
vsize: 13100
[startup+570.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2384 0 0 0 56924 82 0 0 25 0 1 0 646087119 13414400 2359 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3275 2359 1111 63 0 3212 0
vsize: 13100
[startup+580.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2388 0 0 0 57923 84 0 0 25 0 1 0 646087119 13414400 2363 4294967295 134512640 134714540 3221221776 3221220512 134558501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3275 2363 1111 63 0 3212 0
vsize: 13100
[startup+590.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2397 0 0 0 58922 85 0 0 25 0 1 0 646087119 13549568 2372 4294967295 134512640 134714540 3221221776 3221220572 134554907 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2372 1111 63 0 3245 0
vsize: 13232
[startup+600.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2407 0 0 0 59921 86 0 0 25 0 1 0 646087119 13549568 2382 4294967295 134512640 134714540 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2382 1111 63 0 3245 0
vsize: 13232
[startup+610.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2422 0 0 0 60919 88 0 0 25 0 1 0 646087119 13549568 2397 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2397 1111 63 0 3245 0
vsize: 13232
[startup+620.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2443 0 0 0 61918 89 0 0 25 0 1 0 646087119 13684736 2418 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2418 1111 63 0 3278 0
vsize: 13364
[startup+630.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2451 0 0 0 62917 90 0 0 25 0 1 0 646087119 13684736 2426 4294967295 134512640 134714540 3221221776 3221220560 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2426 1111 63 0 3278 0
vsize: 13364
[startup+640.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2451 0 0 0 63915 92 0 0 25 0 1 0 646087119 13684736 2426 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2426 1111 63 0 3278 0
vsize: 13364
[startup+650.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2474 0 0 0 64914 93 0 0 25 0 1 0 646087119 13819904 2449 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2449 1111 63 0 3311 0
vsize: 13496
[startup+660.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2483 0 0 0 65914 94 0 0 25 0 1 0 646087119 13819904 2458 4294967295 134512640 134714540 3221221776 3221220384 134548840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2458 1111 63 0 3311 0
vsize: 13496
[startup+670.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2497 0 0 0 66913 95 0 0 25 0 1 0 646087119 13955072 2472 4294967295 134512640 134714540 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2472 1111 63 0 3344 0
vsize: 13628
[startup+680.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2497 0 0 0 67912 96 0 0 25 0 1 0 646087119 13955072 2472 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2472 1111 63 0 3344 0
vsize: 13628
[startup+690.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 68911 98 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+700.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 69910 98 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+710.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 70909 99 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+720.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 71908 101 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+730.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 72907 102 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+740.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 73906 103 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+750.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2514 0 0 0 74905 104 0 0 25 0 1 0 646087119 13955072 2489 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3407 2489 1111 63 0 3344 0
vsize: 13628
[startup+760.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2535 0 0 0 75904 105 0 0 25 0 1 0 646087119 14090240 2510 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2510 1111 63 0 3377 0
vsize: 13760
[startup+770.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2535 0 0 0 76903 106 0 0 25 0 1 0 646087119 14090240 2510 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2510 1111 63 0 3377 0
vsize: 13760
[startup+780.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2537 0 0 0 77903 107 0 0 25 0 1 0 646087119 14090240 2512 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2512 1111 63 0 3377 0
vsize: 13760
[startup+790.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2560 0 0 0 78902 108 0 0 25 0 1 0 646087119 14225408 2535 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2535 1111 63 0 3410 0
vsize: 13892
[startup+800.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2581 0 0 0 79901 109 0 0 25 0 1 0 646087119 14204928 2556 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2556 1111 63 0 3405 0
vsize: 13872
[startup+810.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2583 0 0 0 80899 111 0 0 25 0 1 0 646087119 14204928 2558 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2558 1111 63 0 3405 0
vsize: 13872
[startup+820.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 81898 112 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+830.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 82898 113 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+840.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 83897 114 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+850.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 84895 116 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+860.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 85893 118 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220368 134549609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+870.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 86892 120 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+880.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2628 0 0 0 87891 121 0 0 25 0 1 0 646087119 14471168 2603 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2603 1111 63 0 3470 0
vsize: 14132
[startup+890.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2630 0 0 0 88890 122 0 0 25 0 1 0 646087119 14471168 2605 4294967295 134512640 134714540 3221221776 3221220384 134523399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2605 1111 63 0 3470 0
vsize: 14132
[startup+900.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2630 0 0 0 89889 123 0 0 25 0 1 0 646087119 14471168 2605 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2605 1111 63 0 3470 0
vsize: 14132
[startup+910.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2630 0 0 0 90887 125 0 0 25 0 1 0 646087119 14471168 2605 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2605 1111 63 0 3470 0
vsize: 14132
[startup+920.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2637 0 0 0 91886 126 0 0 25 0 1 0 646087119 14471168 2612 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2612 1111 63 0 3470 0
vsize: 14132
[startup+930.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2671 0 0 0 92885 127 0 0 25 0 1 0 646087119 14569472 2646 4294967295 134512640 134714540 3221221776 3221220336 134696556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2646 1111 63 0 3494 0
vsize: 14228
[startup+940.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2671 0 0 0 93884 129 0 0 25 0 1 0 646087119 14569472 2646 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2646 1111 63 0 3494 0
vsize: 14228
[startup+950.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2671 0 0 0 94883 130 0 0 25 0 1 0 646087119 14569472 2646 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2646 1111 63 0 3494 0
vsize: 14228
[startup+960.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2671 0 0 0 95882 131 0 0 25 0 1 0 646087119 14569472 2646 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2646 1111 63 0 3494 0
vsize: 14228
[startup+970.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2676 0 0 0 96881 132 0 0 25 0 1 0 646087119 14700544 2651 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2651 1111 63 0 3526 0
vsize: 14356
[startup+980.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2676 0 0 0 97880 134 0 0 25 0 1 0 646087119 14700544 2651 4294967295 134512640 134714540 3221221776 3221220372 134542664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2651 1111 63 0 3526 0
vsize: 14356
[startup+990.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2676 0 0 0 98879 135 0 0 25 0 1 0 646087119 14700544 2651 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2651 1111 63 0 3526 0
vsize: 14356
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2676 0 0 0 99877 136 0 0 25 0 1 0 646087119 14700544 2651 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2651 1111 63 0 3526 0
vsize: 14356
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2694 0 0 0 100876 138 0 0 25 0 1 0 646087119 14700544 2669 4294967295 134512640 134714540 3221221776 3221220256 134697262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2669 1111 63 0 3526 0
vsize: 14356
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2703 0 0 0 101876 138 0 0 25 0 1 0 646087119 14700544 2678 4294967295 134512640 134714540 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2678 1111 63 0 3526 0
vsize: 14356
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2718 0 0 0 102875 139 0 0 25 0 1 0 646087119 14835712 2693 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2693 1111 63 0 3559 0
vsize: 14488
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2722 0 0 0 103874 140 0 0 25 0 1 0 646087119 14835712 2697 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2697 1111 63 0 3559 0
vsize: 14488
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2722 0 0 0 104874 141 0 0 25 0 1 0 646087119 14835712 2697 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2697 1111 63 0 3559 0
vsize: 14488
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2723 0 0 0 105872 143 0 0 25 0 1 0 646087119 14835712 2698 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2698 1111 63 0 3559 0
vsize: 14488
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2723 0 0 0 106871 144 0 0 25 0 1 0 646087119 14835712 2698 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2698 1111 63 0 3559 0
vsize: 14488
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2738 0 0 0 107870 145 0 0 25 0 1 0 646087119 14970880 2713 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2713 1111 63 0 3592 0
vsize: 14620
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2747 0 0 0 108868 147 0 0 25 0 1 0 646087119 14970880 2722 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2722 1111 63 0 3592 0
vsize: 14620
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2747 0 0 0 109867 149 0 0 25 0 1 0 646087119 14970880 2722 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2722 1111 63 0 3592 0
vsize: 14620
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2747 0 0 0 110866 150 0 0 25 0 1 0 646087119 14970880 2722 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2722 1111 63 0 3592 0
vsize: 14620
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2747 0 0 0 111864 152 0 0 25 0 1 0 646087119 14970880 2722 4294967295 134512640 134714540 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2722 1111 63 0 3592 0
vsize: 14620
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2747 0 0 0 112863 153 0 0 25 0 1 0 646087119 14970880 2722 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2722 1111 63 0 3592 0
vsize: 14620
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2762 0 0 0 113862 154 0 0 25 0 1 0 646087119 14970880 2737 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2737 1111 63 0 3592 0
vsize: 14620
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2769 0 0 0 114861 155 0 0 25 0 1 0 646087119 14970880 2744 4294967295 134512640 134714540 3221221776 3221220504 134552630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2744 1111 63 0 3592 0
vsize: 14620
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2784 0 0 0 115860 156 0 0 25 0 1 0 646087119 15106048 2759 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3688 2759 1111 63 0 3625 0
vsize: 14752
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2809 0 0 0 116859 158 0 0 25 0 1 0 646087119 15233024 2784 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3719 2784 1111 63 0 3656 0
vsize: 14876
[startup+1174.89 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 31594
Raw data (stat): 31592 (bsolo_mis) R 31591 7876 7672 0 -1 0 2809 0 0 0 116859 158 0 0 25 0 1 0 646087119 15233024 2784 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3719 2784 1111 63 0 3656 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.43
CPU system time (s): 1.59376
CPU usage (%): 100.012
Max. virtual memory (Kb): 14876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####