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-chnl50_60_pb.cnf.cr.opb
MD5SUM	6968a43b42bba7df68b13fdfd3b616a1
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	61
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.187971
Number of variables	6000
Total number of constraints	220
Number of constraints which are clauses	120
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	60
Trace number 23249

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 22:23:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=192 boxname=wulflinc31 idbench=22 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 192
/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:        929636 kB
Buffers:         36848 kB
Cached:          46268 kB
SwapCached:        864 kB
Active:          71392 kB
Inactive:        14096 kB
HighTotal:      131008 kB
HighFree:        83776 kB
LowTotal:       903652 kB
LowFree:        845860 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13996 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 22:43:27 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 192 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 6000 variables and 220 constraints.
c After prepocess the problem consists of 6000 variables and 220 constraints.
c preprocess terminated 3.211 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.92 0.97 0.91 2/54 15508
Raw data (stat): 15508 (runsolver) R 15507 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635049964 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 1891 0 0 0 989 7 0 0 25 0 1 0 635049964 11522048 1866 4294967295 134512640 134714540 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2813 1866 1111 63 0 2750 0
vsize: 11252
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 1932 0 0 0 1987 9 0 0 25 0 1 0 635049964 11792384 1907 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2879 1907 1111 63 0 2816 0
vsize: 11516
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 1941 0 0 0 2986 11 0 0 25 0 1 0 635049964 11788288 1916 4294967295 134512640 134714540 3221221776 3221220356 134542685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2878 1916 1111 63 0 2815 0
vsize: 11512
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 1996 0 0 0 3984 13 0 0 25 0 1 0 635049964 11923456 1971 4294967295 134512640 134714540 3221221776 3221220312 134613761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2911 1971 1111 63 0 2848 0
vsize: 11644
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2019 0 0 0 4982 15 0 0 25 0 1 0 635049964 12058624 1994 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1994 1111 63 0 2881 0
vsize: 11776
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2043 0 0 0 5981 17 0 0 25 0 1 0 635049964 12193792 2018 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2018 1111 63 0 2914 0
vsize: 11908
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2068 0 0 0 6980 18 0 0 25 0 1 0 635049964 12328960 2043 4294967295 134512640 134714540 3221221776 3221220412 134696428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2043 1111 63 0 2947 0
vsize: 12040
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2089 0 0 0 7978 20 0 0 25 0 1 0 635049964 12328960 2064 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2064 1111 63 0 2947 0
vsize: 12040
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2089 0 0 0 8976 22 0 0 25 0 1 0 635049964 12328960 2064 4294967295 134512640 134714540 3221221776 3221220380 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2064 1111 63 0 2947 0
vsize: 12040
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2099 0 0 0 9974 24 0 0 25 0 1 0 635049964 12464128 2074 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2074 1111 63 0 2980 0
vsize: 12172
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2100 0 0 0 10973 25 0 0 25 0 1 0 635049964 12464128 2075 4294967295 134512640 134714540 3221221776 3221220344 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2075 1111 63 0 2980 0
vsize: 12172
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2124 0 0 0 11971 27 0 0 25 0 1 0 635049964 12464128 2099 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2099 1111 63 0 2980 0
vsize: 12172
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2137 0 0 0 12970 29 0 0 25 0 1 0 635049964 12599296 2112 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2112 1111 63 0 3013 0
vsize: 12304
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2169 0 0 0 13968 30 0 0 25 0 1 0 635049964 12734464 2144 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3109 2144 1111 63 0 3046 0
vsize: 12436
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2195 0 0 0 14967 32 0 0 25 0 1 0 635049964 12853248 2170 4294967295 134512640 134714540 3221221776 3221220512 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2170 1111 63 0 3075 0
vsize: 12552
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2221 0 0 0 15966 33 0 0 25 0 1 0 635049964 12849152 2196 4294967295 134512640 134714540 3221221776 3221220452 1077374580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2196 1111 63 0 3074 0
vsize: 12548
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2268 0 0 0 16964 35 0 0 25 0 1 0 635049964 13119488 2243 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2243 1111 63 0 3140 0
vsize: 12812
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2312 0 0 0 17963 36 0 0 25 0 1 0 635049964 13254656 2287 4294967295 134512640 134714540 3221221776 3221220420 134539580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2287 1111 63 0 3173 0
vsize: 12944
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2312 0 0 0 18961 38 0 0 25 0 1 0 635049964 13254656 2287 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2287 1111 63 0 3173 0
vsize: 12944
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2312 0 0 0 19960 39 0 0 25 0 1 0 635049964 13254656 2287 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2287 1111 63 0 3173 0
vsize: 12944
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2322 0 0 0 20959 41 0 0 25 0 1 0 635049964 13389824 2297 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2297 1111 63 0 3206 0
vsize: 13076
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2331 0 0 0 21958 42 0 0 25 0 1 0 635049964 13389824 2306 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2306 1111 63 0 3206 0
vsize: 13076
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2358 0 0 0 22957 43 0 0 25 0 1 0 635049964 13524992 2333 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2333 1111 63 0 3239 0
vsize: 13208
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2358 0 0 0 23956 45 0 0 25 0 1 0 635049964 13524992 2333 4294967295 134512640 134714540 3221221776 3221220344 1077377422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2333 1111 63 0 3239 0
vsize: 13208
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2368 0 0 0 24954 46 0 0 25 0 1 0 635049964 13524992 2343 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2343 1111 63 0 3239 0
vsize: 13208
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2383 0 0 0 25953 47 0 0 25 0 1 0 635049964 13524992 2358 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2358 1111 63 0 3239 0
vsize: 13208
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2388 0 0 0 26952 49 0 0 25 0 1 0 635049964 13651968 2363 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2363 1111 63 0 3270 0
vsize: 13332
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2388 0 0 0 27951 50 0 0 25 0 1 0 635049964 13635584 2363 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2363 1111 63 0 3266 0
vsize: 13316
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2405 0 0 0 28950 52 0 0 25 0 1 0 635049964 13635584 2380 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2380 1111 63 0 3266 0
vsize: 13316
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2438 0 0 0 29948 53 0 0 25 0 1 0 635049964 13770752 2413 4294967295 134512640 134714540 3221221776 3221220092 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3362 2413 1111 63 0 3299 0
vsize: 13448
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2471 0 0 0 30947 55 0 0 25 0 1 0 635049964 13905920 2446 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2446 1111 63 0 3332 0
vsize: 13580
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2471 0 0 0 31946 56 0 0 25 0 1 0 635049964 13905920 2446 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2446 1111 63 0 3332 0
vsize: 13580
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2486 0 0 0 32945 57 0 0 25 0 1 0 635049964 14041088 2461 4294967295 134512640 134714540 3221221776 3221220352 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2461 1111 63 0 3365 0
vsize: 13712
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2501 0 0 0 33944 59 0 0 25 0 1 0 635049964 14114816 2476 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2476 1111 63 0 3383 0
vsize: 13784
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2504 0 0 0 34942 60 0 0 25 0 1 0 635049964 14077952 2479 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2479 1111 63 0 3374 0
vsize: 13748
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2522 0 0 0 35941 62 0 0 25 0 1 0 635049964 14077952 2497 4294967295 134512640 134714540 3221221776 3221220536 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2497 1111 63 0 3374 0
vsize: 13748
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2522 0 0 0 36940 63 0 0 25 0 1 0 635049964 14077952 2497 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2497 1111 63 0 3374 0
vsize: 13748
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 37939 64 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220344 1077377425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 38939 64 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 39938 65 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 40938 66 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 41937 67 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2535 0 0 0 42936 68 0 0 25 0 1 0 635049964 14209024 2510 4294967295 134512640 134714540 3221221776 3221220504 134591837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2510 1111 63 0 3406 0
vsize: 13876
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2536 0 0 0 43934 70 0 0 25 0 1 0 635049964 14209024 2511 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2511 1111 63 0 3406 0
vsize: 13876
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2555 0 0 0 44933 72 0 0 25 0 1 0 635049964 14344192 2530 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2530 1111 63 0 3439 0
vsize: 14008
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2568 0 0 0 45931 73 0 0 25 0 1 0 635049964 14344192 2543 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2543 1111 63 0 3439 0
vsize: 14008
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2568 0 0 0 46930 75 0 0 25 0 1 0 635049964 14344192 2543 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2543 1111 63 0 3439 0
vsize: 14008
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2583 0 0 0 47930 76 0 0 25 0 1 0 635049964 14344192 2558 4294967295 134512640 134714540 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2558 1111 63 0 3439 0
vsize: 14008
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2583 0 0 0 48928 77 0 0 25 0 1 0 635049964 14344192 2558 4294967295 134512640 134714540 3221221776 3221220356 1077378632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2558 1111 63 0 3439 0
vsize: 14008
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2583 0 0 0 49929 78 0 0 25 0 1 0 635049964 14344192 2558 4294967295 134512640 134714540 3221221776 3221220344 1077377720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2558 1111 63 0 3439 0
vsize: 14008
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2583 0 0 0 50928 79 0 0 25 0 1 0 635049964 14344192 2558 4294967295 134512640 134714540 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2558 1111 63 0 3439 0
vsize: 14008
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2586 0 0 0 51926 81 0 0 25 0 1 0 635049964 14344192 2561 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2561 1111 63 0 3439 0
vsize: 14008
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2597 0 0 0 52925 82 0 0 25 0 1 0 635049964 14479360 2572 4294967295 134512640 134714540 3221221776 3221220368 134696117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2572 1111 63 0 3472 0
vsize: 14140
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2597 0 0 0 53924 84 0 0 25 0 1 0 635049964 14479360 2572 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2572 1111 63 0 3472 0
vsize: 14140
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2599 0 0 0 54922 86 0 0 25 0 1 0 635049964 14479360 2574 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2574 1111 63 0 3472 0
vsize: 14140
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2616 0 0 0 55921 87 0 0 25 0 1 0 635049964 14479360 2591 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2591 1111 63 0 3472 0
vsize: 14140
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 56920 88 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 57920 89 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 58918 90 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 59917 92 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 60916 93 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220480 134524459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 61914 94 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 62914 96 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 63912 97 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2646 0 0 0 64911 99 0 0 25 0 1 0 635049964 14614528 2621 4294967295 134512640 134714540 3221221776 3221220560 134529192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2621 1111 63 0 3505 0
vsize: 14272
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2658 0 0 0 65911 99 0 0 25 0 1 0 635049964 14737408 2633 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2633 1111 63 0 3535 0
vsize: 14392
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2658 0 0 0 66910 100 0 0 25 0 1 0 635049964 14737408 2633 4294967295 134512640 134714540 3221221776 3221220512 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2633 1111 63 0 3535 0
vsize: 14392
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2658 0 0 0 67909 102 0 0 25 0 1 0 635049964 14737408 2633 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2633 1111 63 0 3535 0
vsize: 14392
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2663 0 0 0 68908 103 0 0 25 0 1 0 635049964 14737408 2638 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2638 1111 63 0 3535 0
vsize: 14392
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2663 0 0 0 69907 104 0 0 25 0 1 0 635049964 14737408 2638 4294967295 134512640 134714540 3221221776 3221220344 1077377857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2638 1111 63 0 3535 0
vsize: 14392
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2663 0 0 0 70906 105 0 0 25 0 1 0 635049964 14737408 2638 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2638 1111 63 0 3535 0
vsize: 14392
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2672 0 0 0 71905 106 0 0 25 0 1 0 635049964 14737408 2647 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2647 1111 63 0 3535 0
vsize: 14392
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2682 0 0 0 72904 107 0 0 25 0 1 0 635049964 14737408 2657 4294967295 134512640 134714540 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2657 1111 63 0 3535 0
vsize: 14392
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2682 0 0 0 73903 108 0 0 25 0 1 0 635049964 14737408 2657 4294967295 134512640 134714540 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2657 1111 63 0 3535 0
vsize: 14392
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2682 0 0 0 74902 109 0 0 25 0 1 0 635049964 14737408 2657 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2657 1111 63 0 3535 0
vsize: 14392
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2682 0 0 0 75901 111 0 0 25 0 1 0 635049964 14737408 2657 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2657 1111 63 0 3535 0
vsize: 14392
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2683 0 0 0 76900 112 0 0 25 0 1 0 635049964 14737408 2658 4294967295 134512640 134714540 3221221776 3221220404 134696257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2658 1111 63 0 3535 0
vsize: 14392
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2691 0 0 0 77899 113 0 0 25 0 1 0 635049964 14872576 2666 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2666 1111 63 0 3568 0
vsize: 14524
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 78899 114 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 79898 115 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220508 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 80897 116 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220368 134549855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 81896 117 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+830.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 82895 119 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 83894 120 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220416 134542950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 84893 121 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220172 1077379881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 85892 122 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 86891 123 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220172 1077379933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2715 0 0 0 87890 124 0 0 25 0 1 0 635049964 14872576 2690 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2690 1111 63 0 3568 0
vsize: 14524
[startup+890.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2719 0 0 0 88890 125 0 0 25 0 1 0 635049964 15007744 2694 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2694 1111 63 0 3601 0
vsize: 14656
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2730 0 0 0 89889 125 0 0 25 0 1 0 635049964 15007744 2705 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2705 1111 63 0 3601 0
vsize: 14656
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2730 0 0 0 90889 126 0 0 25 0 1 0 635049964 14995456 2705 4294967295 134512640 134714540 3221221776 3221220568 134558585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2705 1111 63 0 3598 0
vsize: 14644
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2736 0 0 0 91888 127 0 0 25 0 1 0 635049964 14995456 2711 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2711 1111 63 0 3598 0
vsize: 14644
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2736 0 0 0 92886 129 0 0 25 0 1 0 635049964 14995456 2711 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2711 1111 63 0 3598 0
vsize: 14644
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2739 0 0 0 93886 130 0 0 25 0 1 0 635049964 14995456 2714 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2714 1111 63 0 3598 0
vsize: 14644
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2747 0 0 0 94884 131 0 0 25 0 1 0 635049964 15130624 2722 4294967295 134512640 134714540 3221221776 3221220432 1077378647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2722 1111 63 0 3631 0
vsize: 14776
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2747 0 0 0 95883 132 0 0 25 0 1 0 635049964 15130624 2722 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2722 1111 63 0 3631 0
vsize: 14776
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2756 0 0 0 96883 133 0 0 25 0 1 0 635049964 15118336 2731 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2731 1111 63 0 3628 0
vsize: 14764
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2782 0 0 0 97882 134 0 0 25 0 1 0 635049964 15253504 2757 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2757 1111 63 0 3661 0
vsize: 14896
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 98881 135 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220184 134697474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 99881 135 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 100880 136 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220408 134536665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 101879 138 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 102878 139 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 103877 140 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2814 0 0 0 104876 142 0 0 25 0 1 0 635049964 15388672 2789 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2789 1111 63 0 3694 0
vsize: 15028
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2815 0 0 0 105874 143 0 0 25 0 1 0 635049964 15388672 2790 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2790 1111 63 0 3694 0
vsize: 15028
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2815 0 0 0 106873 145 0 0 25 0 1 0 635049964 15388672 2790 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2790 1111 63 0 3694 0
vsize: 15028
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2815 0 0 0 107872 146 0 0 25 0 1 0 635049964 15388672 2790 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2790 1111 63 0 3694 0
vsize: 15028
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2823 0 0 0 108871 147 0 0 25 0 1 0 635049964 15388672 2798 4294967295 134512640 134714540 3221221776 3221220400 134696266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2798 1111 63 0 3694 0
vsize: 15028
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2844 0 0 0 109870 148 0 0 25 0 1 0 635049964 15523840 2819 4294967295 134512640 134714540 3221221776 3221220404 1077374207 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2819 1111 63 0 3727 0
vsize: 15160
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2844 0 0 0 110869 149 0 0 25 0 1 0 635049964 15523840 2819 4294967295 134512640 134714540 3221221776 3221220340 134549722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2819 1111 63 0 3727 0
vsize: 15160
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2844 0 0 0 111868 150 0 0 25 0 1 0 635049964 15523840 2819 4294967295 134512640 134714540 3221221776 3221220352 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2819 1111 63 0 3727 0
vsize: 15160
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2879 0 0 0 112867 152 0 0 25 0 1 0 635049964 15659008 2854 4294967295 134512640 134714540 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2854 1111 63 0 3760 0
vsize: 15292
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2882 0 0 0 113866 153 0 0 25 0 1 0 635049964 15638528 2857 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2857 1111 63 0 3755 0
vsize: 15272
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2885 0 0 0 114865 154 0 0 25 0 1 0 635049964 15626240 2860 4294967295 134512640 134714540 3221221776 3221220368 134549676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2860 1111 63 0 3752 0
vsize: 15260
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2885 0 0 0 115864 155 0 0 25 0 1 0 635049964 15626240 2860 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2860 1111 63 0 3752 0
vsize: 15260
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2900 0 0 0 116863 156 0 0 25 0 1 0 635049964 15626240 2875 4294967295 134512640 134714540 3221221776 3221220344 1077378409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2875 1111 63 0 3752 0
vsize: 15260
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15508
Raw data (stat): 15508 (bsolo_mis) R 15507 7876 7672 0 -1 0 2900 0 0 0 116863 156 0 0 25 0 1 0 635049964 15626240 2875 4294967295 134512640 134714540 3221221776 3221220344 1077378409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2875 1111 63 0 3752 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.47
CPU system time (s): 1.57276
CPU usage (%): 100.011
Max. virtual memory (Kb): 15292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####