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-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
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.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 23214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 13:02:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=129 boxname=wulflinc31 idbench=15 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 129
/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:        931216 kB
Buffers:         36188 kB
Cached:          45432 kB
SwapCached:        864 kB
Active:          70536 kB
Inactive:        13484 kB
HighTotal:      131008 kB
HighFree:        84532 kB
LowTotal:       903652 kB
LowFree:        846684 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13888 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 13:22:24 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 129 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2800 variables and 150 constraints.
c After prepocess the problem consists of 2800 variables and 150 constraints.
c preprocess terminated 1.034 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.85 0.97 0.93 2/54 11665
Raw data (stat): 11665 (runsolver) R 11664 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631683268 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0012 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1281 0 0 0 991 5 0 0 25 0 1 0 631683268 8888320 1256 4294967295 134512640 134714540 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2170 1256 1111 63 0 2107 0
vsize: 8680
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1753 0 0 0 1988 8 0 0 25 0 1 0 631683268 10915840 1728 4294967295 134512640 134714540 3221221776 3221220416 134696148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2665 1728 1111 63 0 2602 0
vsize: 10660
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 1938 0 0 0 2986 10 0 0 25 0 1 0 631683268 11591680 1913 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1913 1111 63 0 2767 0
vsize: 11320
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2035 0 0 0 3983 13 0 0 25 0 1 0 631683268 11988992 2010 4294967295 134512640 134714540 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2927 2010 1111 63 0 2864 0
vsize: 11708
[startup+50.0039 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2122 0 0 0 4982 14 0 0 25 0 1 0 631683268 12394496 2097 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2097 1111 63 0 2963 0
vsize: 12104
[startup+60.0048 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2180 0 0 0 5980 16 0 0 25 0 1 0 631683268 12664832 2155 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2155 1111 63 0 3029 0
vsize: 12368
[startup+70.0055 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2221 0 0 0 6978 18 0 0 25 0 1 0 631683268 12800000 2196 4294967295 134512640 134714540 3221221776 3221220416 134696112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3125 2196 1111 63 0 3062 0
vsize: 12500
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2231 0 0 0 7976 20 0 0 25 0 1 0 631683268 12800000 2206 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3125 2206 1111 63 0 3062 0
vsize: 12500
[startup+90.0055 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2255 0 0 0 8975 21 0 0 25 0 1 0 631683268 12935168 2230 4294967295 134512640 134714540 3221221776 3221220544 134592353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3158 2230 1111 63 0 3095 0
vsize: 12632
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2300 0 0 0 9973 23 0 0 25 0 1 0 631683268 13070336 2275 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3191 2275 1111 63 0 3128 0
vsize: 12764
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2368 0 0 0 10972 25 0 0 25 0 1 0 631683268 13459456 2343 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3286 2343 1111 63 0 3223 0
vsize: 13144
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2413 0 0 0 11971 26 0 0 25 0 1 0 631683268 13594624 2388 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2388 1111 63 0 3256 0
vsize: 13276
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2435 0 0 0 12969 28 0 0 25 0 1 0 631683268 13672448 2410 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2410 1111 63 0 3275 0
vsize: 13352
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2463 0 0 0 13968 30 0 0 25 0 1 0 631683268 13807616 2438 4294967295 134512640 134714540 3221221776 3221220340 134696436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2438 1111 63 0 3308 0
vsize: 13484
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2463 0 0 0 14966 31 0 0 25 0 1 0 631683268 13807616 2438 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2438 1111 63 0 3308 0
vsize: 13484
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2581 0 0 0 15964 34 0 0 25 0 1 0 631683268 14311424 2556 4294967295 134512640 134714540 3221221776 3221220560 134529344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3494 2556 1111 63 0 3431 0
vsize: 13976
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2661 0 0 0 16963 35 0 0 25 0 1 0 631683268 14581760 2636 4294967295 134512640 134714540 3221221776 3221220428 134536754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3560 2636 1111 63 0 3497 0
vsize: 14240
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2747 0 0 0 17962 37 0 0 25 0 1 0 631683268 14987264 2722 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2722 1111 63 0 3596 0
vsize: 14636
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2779 0 0 0 18960 38 0 0 25 0 1 0 631683268 15118336 2754 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2754 1111 63 0 3628 0
vsize: 14764
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11665
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2825 0 0 0 19959 40 0 0 25 0 1 0 631683268 15253504 2800 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2800 1111 63 0 3661 0
vsize: 14896
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2875 0 0 0 20958 41 0 0 25 0 1 0 631683268 15523840 2850 4294967295 134512640 134714540 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2850 1111 63 0 3727 0
vsize: 15160
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2899 0 0 0 21957 42 0 0 25 0 1 0 631683268 15523840 2874 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2874 1111 63 0 3727 0
vsize: 15160
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2916 0 0 0 22955 44 0 0 25 0 1 0 631683268 15659008 2891 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2891 1111 63 0 3760 0
vsize: 15292
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2923 0 0 0 23954 46 0 0 25 0 1 0 631683268 15659008 2898 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2898 1111 63 0 3760 0
vsize: 15292
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2944 0 0 0 24953 47 0 0 25 0 1 0 631683268 15794176 2919 4294967295 134512640 134714540 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2919 1111 63 0 3793 0
vsize: 15424
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2964 0 0 0 25951 49 0 0 25 0 1 0 631683268 15794176 2939 4294967295 134512640 134714540 3221221776 3221220416 134696109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2939 1111 63 0 3793 0
vsize: 15424
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 26950 50 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 2952 1111 63 0 3826 0
vsize: 15556
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 27948 52 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 2952 1111 63 0 3826 0
vsize: 15556
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 2977 0 0 0 28947 54 0 0 25 0 1 0 631683268 15929344 2952 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 2952 1111 63 0 3826 0
vsize: 15556
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3006 0 0 0 29946 55 0 0 25 0 1 0 631683268 16064512 2981 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3922 2981 1111 63 0 3859 0
vsize: 15688
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3036 0 0 0 30943 57 0 0 25 0 1 0 631683268 16199680 3011 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3011 1111 63 0 3892 0
vsize: 15820
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3058 0 0 0 31942 59 0 0 25 0 1 0 631683268 16199680 3033 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3033 1111 63 0 3892 0
vsize: 15820
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3102 0 0 0 32940 61 0 0 25 0 1 0 631683268 16470016 3077 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3077 1111 63 0 3958 0
vsize: 16084
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3123 0 0 0 33939 63 0 0 25 0 1 0 631683268 16470016 3098 4294967295 134512640 134714540 3221221776 3221220452 1077374469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3098 1111 63 0 3958 0
vsize: 16084
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3149 0 0 0 34937 65 0 0 25 0 1 0 631683268 16605184 3124 4294967295 134512640 134714540 3221221776 3221220400 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3124 1111 63 0 3991 0
vsize: 16216
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3156 0 0 0 35935 67 0 0 25 0 1 0 631683268 16605184 3131 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3131 1111 63 0 3991 0
vsize: 16216
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3209 0 0 0 36934 68 0 0 25 0 1 0 631683268 16842752 3184 4294967295 134512640 134714540 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3184 1111 63 0 4049 0
vsize: 16448
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3265 0 0 0 37933 70 0 0 25 0 1 0 631683268 17113088 3240 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4178 3240 1111 63 0 4115 0
vsize: 16712
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3265 0 0 0 38932 71 0 0 25 0 1 0 631683268 17113088 3240 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4178 3240 1111 63 0 4115 0
vsize: 16712
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3276 0 0 0 39931 72 0 0 25 0 1 0 631683268 17100800 3251 4294967295 134512640 134714540 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3251 1111 63 0 4112 0
vsize: 16700
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3276 0 0 0 40928 75 0 0 25 0 1 0 631683268 17100800 3251 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3251 1111 63 0 4112 0
vsize: 16700
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3289 0 0 0 41927 76 0 0 25 0 1 0 631683268 17235968 3264 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3264 1111 63 0 4145 0
vsize: 16832
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3294 0 0 0 42926 77 0 0 25 0 1 0 631683268 17235968 3269 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3269 1111 63 0 4145 0
vsize: 16832
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3306 0 0 0 43925 79 0 0 25 0 1 0 631683268 17235968 3281 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3281 1111 63 0 4145 0
vsize: 16832
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3311 0 0 0 44924 80 0 0 25 0 1 0 631683268 17235968 3286 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3286 1111 63 0 4145 0
vsize: 16832
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3321 0 0 0 45923 81 0 0 25 0 1 0 631683268 17371136 3296 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4241 3296 1111 63 0 4178 0
vsize: 16964
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3330 0 0 0 46921 83 0 0 25 0 1 0 631683268 17354752 3305 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3305 1111 63 0 4174 0
vsize: 16948
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3337 0 0 0 47920 84 0 0 25 0 1 0 631683268 17354752 3312 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3312 1111 63 0 4174 0
vsize: 16948
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3429 0 0 0 48918 86 0 0 25 0 1 0 631683268 17727488 3404 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4328 3404 1111 63 0 4265 0
vsize: 17312
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3471 0 0 0 49917 87 0 0 25 0 1 0 631683268 17862656 3446 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4361 3446 1111 63 0 4298 0
vsize: 17444
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 50916 89 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3472 1111 63 0 4331 0
vsize: 17576
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 51915 90 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3472 1111 63 0 4331 0
vsize: 17576
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3497 0 0 0 52913 92 0 0 25 0 1 0 631683268 17997824 3472 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4394 3472 1111 63 0 4331 0
vsize: 17576
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3507 0 0 0 53912 94 0 0 25 0 1 0 631683268 18132992 3482 4294967295 134512640 134714540 3221221776 3221220416 134696126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4427 3482 1111 63 0 4364 0
vsize: 17708
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3534 0 0 0 54910 96 0 0 25 0 1 0 631683268 18132992 3509 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4427 3509 1111 63 0 4364 0
vsize: 17708
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3535 0 0 0 55909 97 0 0 25 0 1 0 631683268 18132992 3510 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4427 3510 1111 63 0 4364 0
vsize: 17708
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3543 0 0 0 56908 98 0 0 25 0 1 0 631683268 18268160 3518 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3518 1111 63 0 4397 0
vsize: 17840
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3586 0 0 0 57907 100 0 0 25 0 1 0 631683268 18403328 3561 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4493 3561 1111 63 0 4430 0
vsize: 17972
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3655 0 0 0 58905 101 0 0 25 0 1 0 631683268 18653184 3630 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3630 1111 63 0 4491 0
vsize: 18216
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3796 0 0 0 59904 103 0 0 25 0 1 0 631683268 19189760 3771 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4685 3771 1111 63 0 4622 0
vsize: 18740
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3890 0 0 0 60903 104 0 0 25 0 1 0 631683268 19587072 3865 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4782 3865 1111 63 0 4719 0
vsize: 19128
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3934 0 0 0 61901 106 0 0 25 0 1 0 631683268 19812352 3909 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4837 3909 1111 63 0 4774 0
vsize: 19348
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3969 0 0 0 62899 108 0 0 25 0 1 0 631683268 19947520 3944 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3944 1111 63 0 4807 0
vsize: 19480
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3971 0 0 0 63898 109 0 0 25 0 1 0 631683268 19947520 3946 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4870 3946 1111 63 0 4807 0
vsize: 19480
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 3991 0 0 0 64897 110 0 0 25 0 1 0 631683268 20082688 3966 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4903 3966 1111 63 0 4840 0
vsize: 19612
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4018 0 0 0 65896 112 0 0 25 0 1 0 631683268 20217856 3993 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4936 3993 1111 63 0 4873 0
vsize: 19744
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4063 0 0 0 66895 113 0 0 25 0 1 0 631683268 20353024 4038 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4969 4038 1111 63 0 4906 0
vsize: 19876
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4114 0 0 0 67894 114 0 0 25 0 1 0 631683268 20488192 4089 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5002 4089 1111 63 0 4939 0
vsize: 20008
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4170 0 0 0 68892 116 0 0 25 0 1 0 631683268 20754432 4145 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5067 4145 1111 63 0 5004 0
vsize: 20268
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4212 0 0 0 69891 118 0 0 25 0 1 0 631683268 20889600 4187 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5100 4187 1111 63 0 5037 0
vsize: 20400
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4234 0 0 0 70890 119 0 0 25 0 1 0 631683268 21020672 4209 4294967295 134512640 134714540 3221221776 3221220432 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5132 4209 1111 63 0 5069 0
vsize: 20528
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4273 0 0 0 71888 121 0 0 25 0 1 0 631683268 21155840 4248 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5165 4248 1111 63 0 5102 0
vsize: 20660
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4316 0 0 0 72887 123 0 0 25 0 1 0 631683268 21426176 4291 4294967295 134512640 134714540 3221221776 3221220332 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5231 4291 1111 63 0 5168 0
vsize: 20924
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4337 0 0 0 73885 124 0 0 25 0 1 0 631683268 21426176 4312 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5231 4312 1111 63 0 5168 0
vsize: 20924
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4360 0 0 0 74883 126 0 0 25 0 1 0 631683268 21561344 4335 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4335 1111 63 0 5201 0
vsize: 21056
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4403 0 0 0 75882 127 0 0 25 0 1 0 631683268 21696512 4378 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5297 4378 1111 63 0 5234 0
vsize: 21188
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4551 0 0 0 76881 129 0 0 25 0 1 0 631683268 22364160 4526 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5460 4526 1111 63 0 5397 0
vsize: 21840
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4646 0 0 0 77879 131 0 0 25 0 1 0 631683268 22728704 4621 4294967295 134512640 134714540 3221221776 3221220408 134696382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5549 4621 1111 63 0 5486 0
vsize: 22196
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4728 0 0 0 78877 133 0 0 25 0 1 0 631683268 23134208 4703 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5648 4703 1111 63 0 5585 0
vsize: 22592
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4740 0 0 0 79876 135 0 0 25 0 1 0 631683268 23134208 4715 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5648 4715 1111 63 0 5585 0
vsize: 22592
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4764 0 0 0 80875 136 0 0 25 0 1 0 631683268 23269376 4739 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5681 4739 1111 63 0 5618 0
vsize: 22724
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4772 0 0 0 81874 137 0 0 25 0 1 0 631683268 23269376 4747 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5681 4747 1111 63 0 5618 0
vsize: 22724
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4775 0 0 0 82873 138 0 0 25 0 1 0 631683268 23269376 4750 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5681 4750 1111 63 0 5618 0
vsize: 22724
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4805 0 0 0 83872 139 0 0 25 0 1 0 631683268 23404544 4780 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5714 4780 1111 63 0 5651 0
vsize: 22856
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4827 0 0 0 84871 141 0 0 25 0 1 0 631683268 23539712 4802 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5747 4802 1111 63 0 5684 0
vsize: 22988
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4843 0 0 0 85870 142 0 0 25 0 1 0 631683268 23539712 4818 4294967295 134512640 134714540 3221221776 3221220496 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5747 4818 1111 63 0 5684 0
vsize: 22988
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4844 0 0 0 86869 143 0 0 25 0 1 0 631683268 23539712 4819 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5747 4819 1111 63 0 5684 0
vsize: 22988
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4862 0 0 0 87868 145 0 0 25 0 1 0 631683268 23674880 4837 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 4837 1111 63 0 5717 0
vsize: 23120
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4869 0 0 0 88866 146 0 0 25 0 1 0 631683268 23674880 4844 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 4844 1111 63 0 5717 0
vsize: 23120
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4874 0 0 0 89865 147 0 0 25 0 1 0 631683268 23674880 4849 4294967295 134512640 134714540 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 4849 1111 63 0 5717 0
vsize: 23120
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4890 0 0 0 90864 148 0 0 25 0 1 0 631683268 23674880 4865 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 4865 1111 63 0 5717 0
vsize: 23120
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4896 0 0 0 91863 150 0 0 25 0 1 0 631683268 23810048 4871 4294967295 134512640 134714540 3221221776 3221220616 134586220 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5813 4871 1111 63 0 5750 0
vsize: 23252
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4913 0 0 0 92861 152 0 0 25 0 1 0 631683268 23810048 4888 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5813 4888 1111 63 0 5750 0
vsize: 23252
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4923 0 0 0 93861 153 0 0 25 0 1 0 631683268 23810048 4898 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5813 4898 1111 63 0 5750 0
vsize: 23252
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4933 0 0 0 94859 154 0 0 25 0 1 0 631683268 23945216 4908 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5846 4908 1111 63 0 5783 0
vsize: 23384
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4948 0 0 0 95858 155 0 0 25 0 1 0 631683268 23945216 4923 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5846 4923 1111 63 0 5783 0
vsize: 23384
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4948 0 0 0 96857 156 0 0 25 0 1 0 631683268 23945216 4923 4294967295 134512640 134714540 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5846 4923 1111 63 0 5783 0
vsize: 23384
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4977 0 0 0 97856 158 0 0 25 0 1 0 631683268 24068096 4952 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5876 4952 1111 63 0 5813 0
vsize: 23504
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4980 0 0 0 98855 159 0 0 25 0 1 0 631683268 24068096 4955 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5876 4955 1111 63 0 5813 0
vsize: 23504
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 4995 0 0 0 99853 161 0 0 25 0 1 0 631683268 24203264 4970 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4970 1111 63 0 5846 0
vsize: 23636
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5013 0 0 0 100853 162 0 0 25 0 1 0 631683268 24203264 4988 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4988 1111 63 0 5846 0
vsize: 23636
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5050 0 0 0 101852 163 0 0 25 0 1 0 631683268 24338432 5025 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5942 5025 1111 63 0 5879 0
vsize: 23768
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5091 0 0 0 102850 165 0 0 25 0 1 0 631683268 24604672 5066 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6007 5066 1111 63 0 5944 0
vsize: 24028
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5121 0 0 0 103849 167 0 0 25 0 1 0 631683268 24739840 5096 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6040 5096 1111 63 0 5977 0
vsize: 24160
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5158 0 0 0 104848 167 0 0 25 0 1 0 631683268 24875008 5133 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6073 5133 1111 63 0 6010 0
vsize: 24292
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5169 0 0 0 105848 168 0 0 25 0 1 0 631683268 24875008 5144 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6073 5144 1111 63 0 6010 0
vsize: 24292
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5169 0 0 0 106847 169 0 0 25 0 1 0 631683268 24875008 5144 4294967295 134512640 134714540 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6073 5144 1111 63 0 6010 0
vsize: 24292
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5309 0 0 0 107846 170 0 0 25 0 1 0 631683268 25403392 5284 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6202 5284 1111 63 0 6139 0
vsize: 24808
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5432 0 0 0 108844 172 0 0 25 0 1 0 631683268 25931776 5407 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6331 5407 1111 63 0 6268 0
vsize: 25324
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5568 0 0 0 109843 174 0 0 25 0 1 0 631683268 26464256 5543 4294967295 134512640 134714540 3221221776 3221220440 134539345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6461 5543 1111 63 0 6398 0
vsize: 25844
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5717 0 0 0 110841 176 0 0 25 0 1 0 631683268 27140096 5692 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6626 5692 1111 63 0 6563 0
vsize: 26504
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5793 0 0 0 111840 177 0 0 25 0 1 0 631683268 27406336 5768 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6691 5768 1111 63 0 6628 0
vsize: 26764
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5834 0 0 0 112838 179 0 0 25 0 1 0 631683268 27541504 5809 4294967295 134512640 134714540 3221221776 3221220280 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5809 1111 63 0 6661 0
vsize: 26896
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5885 0 0 0 113837 181 0 0 25 0 1 0 631683268 27811840 5860 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6790 5860 1111 63 0 6727 0
vsize: 27160
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 5923 0 0 0 114835 182 0 0 25 0 1 0 631683268 27947008 5898 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6823 5898 1111 63 0 6760 0
vsize: 27292
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6012 0 0 0 115834 184 0 0 25 0 1 0 631683268 28352512 5987 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6922 5987 1111 63 0 6859 0
vsize: 27688
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6060 0 0 0 116832 186 0 0 25 0 1 0 631683268 28487680 6035 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6955 6035 1111 63 0 6892 0
vsize: 27820
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 11667
Raw data (stat): 11665 (bsolo_mis) R 11664 7876 7672 0 -1 0 6060 0 0 0 116832 186 0 0 25 0 1 0 631683268 28487680 6035 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6955 6035 1111 63 0 6892 0
vsize: 0

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