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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23279

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 02:58:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=246 boxname=wulflinc31 idbench=28 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 246
/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:        928976 kB
Buffers:         37316 kB
Cached:          46412 kB
SwapCached:        864 kB
Active:          71532 kB
Inactive:        14552 kB
HighTotal:      131008 kB
HighFree:        83692 kB
LowTotal:       903652 kB
LowFree:        845284 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13980 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 03:18:12 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 246 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 180 variables and 152 constraints.
c After prepocess the problem consists of 180 variables and 152 constraints.
c preprocess terminated 0.071 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (runsolver) R 18599 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636698680 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.0007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 2266 0 0 0 987 9 0 0 25 0 1 0 636698680 12898304 2241 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2241 1111 63 0 3086 0
vsize: 12596
[startup+20.0011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 4001 0 0 0 1980 15 0 0 25 0 1 0 636698680 20066304 3976 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4899 3976 1111 63 0 4836 0
vsize: 19596
[startup+30.0016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 4819 0 0 0 2977 19 0 0 25 0 1 0 636698680 23461888 4794 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4794 1111 63 0 5665 0
vsize: 22912
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 5454 0 0 0 3973 23 0 0 25 0 1 0 636698680 26071040 5429 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6365 5429 1111 63 0 6302 0
vsize: 25460
[startup+50.0029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 6248 0 0 0 4970 26 0 0 25 0 1 0 636698680 29462528 6223 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7193 6223 1111 63 0 7130 0
vsize: 28772
[startup+60.0034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 7241 0 0 0 5967 29 0 0 25 0 1 0 636698680 33517568 7215 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8183 7215 1111 63 0 8120 0
vsize: 32732
[startup+70.0033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 8062 0 0 0 6964 33 0 0 25 0 1 0 636698680 36896768 8036 4294967295 134512640 134714540 3221221776 3221220544 134592323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9008 8036 1111 63 0 8945 0
vsize: 36032
[startup+80.0047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18600
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 8805 0 0 0 7961 35 0 0 25 0 1 0 636698680 39895040 8778 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9740 8778 1111 63 0 9677 0
vsize: 38960
[startup+90.0056 s]
Raw data (loadavg): 0.99 0.98 0.91 3/57 18644
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 9276 0 0 0 8955 41 0 0 25 0 1 0 636698680 41787392 9249 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10202 9249 1111 63 0 10139 0
vsize: 40808
[startup+100.006 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 9982 0 0 0 9953 44 0 0 25 0 1 0 636698680 44625920 9955 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10895 9955 1111 63 0 10832 0
vsize: 43580
[startup+110.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 10676 0 0 0 10950 47 0 0 25 0 1 0 636698680 47599616 10648 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11621 10648 1111 63 0 11558 0
vsize: 46484
[startup+120.007 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 11400 0 0 0 11947 49 0 0 25 0 1 0 636698680 50573312 11371 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12347 11371 1111 63 0 12284 0
vsize: 49388
[startup+130.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 11946 0 0 0 12945 52 0 0 25 0 1 0 636698680 52908032 11916 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12917 11916 1111 63 0 12854 0
vsize: 51668
[startup+140.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 12451 0 0 0 13943 54 0 0 25 0 1 0 636698680 54943744 12420 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13414 12420 1111 63 0 13351 0
vsize: 53656
[startup+150.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 12812 0 0 0 14941 57 0 0 25 0 1 0 636698680 56438784 12781 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13779 12781 1111 63 0 13716 0
vsize: 55116
[startup+160.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18653
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 13212 0 0 0 15939 59 0 0 25 0 1 0 636698680 58134528 13177 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14193 13177 1111 63 0 14130 0
vsize: 56772
[startup+170.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 13698 0 0 0 16937 61 0 0 25 0 1 0 636698680 60162048 13662 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14688 13662 1111 63 0 14625 0
vsize: 58752
[startup+180.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 14358 0 0 0 17933 64 0 0 25 0 1 0 636698680 62889984 14322 4294967295 134512640 134714540 3221221776 3221220560 134529249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15354 14322 1111 63 0 15291 0
vsize: 61416
[startup+190.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 15046 0 0 0 18931 67 0 0 25 0 1 0 636698680 65761280 15008 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16055 15008 1111 63 0 15992 0
vsize: 64220
[startup+200.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 15580 0 0 0 19928 70 0 0 25 0 1 0 636698680 67874816 15537 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16571 15537 1111 63 0 16508 0
vsize: 66284
[startup+210.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 15946 0 0 0 20927 71 0 0 25 0 1 0 636698680 69410816 15902 4294967295 134512640 134714540 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16946 15902 1111 63 0 16883 0
vsize: 67784
[startup+220.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 16268 0 0 0 21926 72 0 0 25 0 1 0 636698680 70766592 16224 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17277 16224 1111 63 0 17214 0
vsize: 69108
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 16576 0 0 0 22925 73 0 0 25 0 1 0 636698680 72007680 16531 4294967295 134512640 134714540 3221221776 3221220480 134535812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17580 16531 1111 63 0 17517 0
vsize: 70320
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 17188 0 0 0 23923 76 0 0 25 0 1 0 636698680 74633216 17140 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18221 17140 1111 63 0 18158 0
vsize: 72884
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 17693 0 0 0 24921 78 0 0 25 0 1 0 636698680 76693504 17638 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18724 17638 1111 63 0 18661 0
vsize: 74896
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 18069 0 0 0 25921 79 0 0 25 0 1 0 636698680 78315520 18014 4294967295 134512640 134714540 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19120 18014 1111 63 0 19057 0
vsize: 76480
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 18344 0 0 0 26919 80 0 0 25 0 1 0 636698680 79454208 18288 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19398 18288 1111 63 0 19335 0
vsize: 77592
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 18598 0 0 0 27918 81 0 0 25 0 1 0 636698680 80408576 18542 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19631 18542 1111 63 0 19568 0
vsize: 78524
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 18938 0 0 0 28916 83 0 0 25 0 1 0 636698680 81760256 18882 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19961 18882 1111 63 0 19898 0
vsize: 79844
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 19236 0 0 0 29915 85 0 0 25 0 1 0 636698680 82976768 19180 4294967295 134512640 134714540 3221221776 3221220416 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20258 19180 1111 63 0 20195 0
vsize: 81032
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 19664 0 0 0 30914 86 0 0 25 0 1 0 636698680 84934656 19604 4294967295 134512640 134714540 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20736 19604 1111 63 0 20673 0
vsize: 82944
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 19888 0 0 0 31912 88 0 0 25 0 1 0 636698680 85946368 19826 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20983 19826 1111 63 0 20920 0
vsize: 83932
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 20483 0 0 0 32910 91 0 0 25 0 1 0 636698680 88379392 20421 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21577 20421 1111 63 0 21514 0
vsize: 86308
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 21351 0 0 0 33907 94 0 0 25 0 1 0 636698680 91930624 21286 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22444 21286 1111 63 0 22381 0
vsize: 89776
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 22174 0 0 0 34904 97 0 0 25 0 1 0 636698680 95309824 22109 4294967295 134512640 134714540 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23269 22109 1111 63 0 23206 0
vsize: 93076
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 23131 0 0 0 35901 100 0 0 25 0 1 0 636698680 99258368 23064 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24233 23064 1111 63 0 24170 0
vsize: 96932
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 23761 0 0 0 36898 104 0 0 25 0 1 0 636698680 101826560 23694 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24860 23694 1111 63 0 24797 0
vsize: 99440
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 24169 0 0 0 37896 106 0 0 25 0 1 0 636698680 103608320 24102 4294967295 134512640 134714540 3221221776 3221220424 134539581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25295 24102 1111 63 0 25232 0
vsize: 101180
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 24385 0 0 0 38895 106 0 0 25 0 1 0 636698680 104427520 24317 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25495 24317 1111 63 0 25432 0
vsize: 101980
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 24568 0 0 0 39895 107 0 0 25 0 1 0 636698680 105238528 24500 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25693 24500 1111 63 0 25630 0
vsize: 102772
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 24913 0 0 0 40893 109 0 0 25 0 1 0 636698680 106594304 24843 4294967295 134512640 134714540 3221221776 3221220536 134592149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26024 24843 1111 63 0 25961 0
vsize: 104096
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 25150 0 0 0 41892 110 0 0 25 0 1 0 636698680 107540480 25080 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26255 25080 1111 63 0 26192 0
vsize: 105020
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 25860 0 0 0 42889 113 0 0 25 0 1 0 636698680 110522368 25789 4294967295 134512640 134714540 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26983 25789 1111 63 0 26920 0
vsize: 107932
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 26437 0 0 0 43887 115 0 0 25 0 1 0 636698680 112820224 26366 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27544 26366 1111 63 0 27481 0
vsize: 110176
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18655
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 27511 0 0 0 44885 118 0 0 25 0 1 0 636698680 117145600 27440 4294967295 134512640 134714540 3221221776 3221220592 134588079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28600 27440 1111 63 0 28537 0
vsize: 114400
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 28212 0 0 0 45882 121 0 0 25 0 1 0 636698680 119984128 28141 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29293 28141 1111 63 0 29230 0
vsize: 117172
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 29072 0 0 0 46879 124 0 0 25 0 1 0 636698680 123498496 29001 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30151 29001 1111 63 0 30088 0
vsize: 120604
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 29977 0 0 0 47877 127 0 0 25 0 1 0 636698680 127287296 29906 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31076 29906 1111 63 0 31013 0
vsize: 124304
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 30687 0 0 0 48874 130 0 0 25 0 1 0 636698680 130150400 30615 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31775 30615 1111 63 0 31712 0
vsize: 127100
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 31381 0 0 0 49872 132 0 0 25 0 1 0 636698680 133124096 31309 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32501 31309 1111 63 0 32438 0
vsize: 130004
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 31937 0 0 0 50869 135 0 0 25 0 1 0 636698680 135475200 31864 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33075 31864 1111 63 0 33012 0
vsize: 132300
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 32377 0 0 0 51867 137 0 0 25 0 1 0 636698680 137342976 32301 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33531 32301 1111 63 0 33468 0
vsize: 134124
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 33179 0 0 0 52863 141 0 0 25 0 1 0 636698680 140587008 33103 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34323 33103 1111 63 0 34260 0
vsize: 137292
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 33740 0 0 0 53862 143 0 0 25 0 1 0 636698680 142884864 33664 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34884 33664 1111 63 0 34821 0
vsize: 139536
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 34377 0 0 0 54859 145 0 0 25 0 1 0 636698680 145453056 34301 4294967295 134512640 134714540 3221221776 3221220272 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35511 34301 1111 63 0 35448 0
vsize: 142044
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 35120 0 0 0 55857 148 0 0 25 0 1 0 636698680 148426752 35044 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36237 35044 1111 63 0 36174 0
vsize: 144948
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 35755 0 0 0 56854 151 0 0 25 0 1 0 636698680 151130112 35679 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36897 35679 1111 63 0 36834 0
vsize: 147588
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 36465 0 0 0 57852 153 0 0 25 0 1 0 636698680 153968640 36389 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37590 36389 1111 63 0 37527 0
vsize: 150360
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 37299 0 0 0 58849 156 0 0 25 0 1 0 636698680 157347840 37223 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38415 37223 1111 63 0 38352 0
vsize: 153660
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 37764 0 0 0 59847 159 0 0 25 0 1 0 636698680 159240192 37688 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38877 37688 1111 63 0 38814 0
vsize: 155508
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 38014 0 0 0 60846 160 0 0 25 0 1 0 636698680 160370688 37937 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39153 37937 1111 63 0 39090 0
vsize: 156612
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 38435 0 0 0 61844 162 0 0 25 0 1 0 636698680 162140160 38358 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39585 38358 1111 63 0 39522 0
vsize: 158340
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 38779 0 0 0 62843 163 0 0 25 0 1 0 636698680 163627008 38701 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39948 38701 1111 63 0 39885 0
vsize: 159792
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 39190 0 0 0 63841 165 0 0 25 0 1 0 636698680 165273600 39110 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40350 39110 1111 63 0 40287 0
vsize: 161400
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 39578 0 0 0 64839 167 0 0 25 0 1 0 636698680 166940672 39496 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40757 39496 1111 63 0 40694 0
vsize: 163028
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 39903 0 0 0 65839 168 0 0 25 0 1 0 636698680 168222720 39812 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41070 39812 1111 63 0 41007 0
vsize: 164280
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 40184 0 0 0 66837 170 0 0 25 0 1 0 636698680 169443328 40093 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41368 40093 1111 63 0 41305 0
vsize: 165472
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 40517 0 0 0 67836 171 0 0 25 0 1 0 636698680 170860544 40424 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41714 40424 1111 63 0 41651 0
vsize: 166856
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 40893 0 0 0 68833 174 0 0 25 0 1 0 636698680 172515328 40798 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42118 40798 1111 63 0 42055 0
vsize: 168472
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 41208 0 0 0 69832 175 0 0 25 0 1 0 636698680 173998080 41097 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42480 41097 1111 63 0 42417 0
vsize: 169920
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 41400 0 0 0 70832 176 0 0 25 0 1 0 636698680 174809088 41289 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42678 41289 1111 63 0 42615 0
vsize: 170712
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 41599 0 0 0 71832 176 0 0 25 0 1 0 636698680 175484928 41488 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42843 41488 1111 63 0 42780 0
vsize: 171372
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 41787 0 0 0 72832 176 0 0 25 0 1 0 636698680 176295936 41676 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43041 41676 1111 63 0 42978 0
vsize: 172164
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 41987 0 0 0 73831 177 0 0 25 0 1 0 636698680 177156096 41874 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43251 41874 1111 63 0 43188 0
vsize: 173004
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 42242 0 0 0 74831 178 0 0 25 0 1 0 636698680 178102272 42129 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43482 42129 1111 63 0 43419 0
vsize: 173928
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 42414 0 0 0 75830 178 0 0 25 0 1 0 636698680 178778112 42301 4294967295 134512640 134714540 3221221776 3221220560 134529222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43647 42301 1111 63 0 43584 0
vsize: 174588
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 42665 0 0 0 76830 179 0 0 25 0 1 0 636698680 179937280 42551 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43930 42551 1111 63 0 43867 0
vsize: 175720
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 42906 0 0 0 77829 180 0 0 25 0 1 0 636698680 180977664 42789 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44184 42789 1111 63 0 44121 0
vsize: 176736
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 43097 0 0 0 78829 181 0 0 25 0 1 0 636698680 181735424 42975 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44369 42975 1111 63 0 44306 0
vsize: 177476
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 43295 0 0 0 79829 181 0 0 25 0 1 0 636698680 182558720 43172 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44570 43172 1111 63 0 44507 0
vsize: 178280
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 43513 0 0 0 80828 182 0 0 25 0 1 0 636698680 183427072 43390 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44782 43390 1111 63 0 44719 0
vsize: 179128
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 43705 0 0 0 81827 183 0 0 25 0 1 0 636698680 184238080 43581 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44980 43581 1111 63 0 44917 0
vsize: 179920
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 43812 0 0 0 82827 183 0 0 25 0 1 0 636698680 184672256 43687 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45086 43687 1111 63 0 45023 0
vsize: 180344
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 44054 0 0 0 83826 184 0 0 25 0 1 0 636698680 185659392 43929 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45327 43929 1111 63 0 45264 0
vsize: 181308
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 44351 0 0 0 84826 185 0 0 25 0 1 0 636698680 186875904 44226 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45624 44226 1111 63 0 45561 0
vsize: 182496
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 44619 0 0 0 85825 186 0 0 25 0 1 0 636698680 187994112 44494 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45897 44494 1111 63 0 45834 0
vsize: 183588
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 44773 0 0 0 86824 187 0 0 25 0 1 0 636698680 188669952 44647 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46062 44647 1111 63 0 45999 0
vsize: 184248
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 44953 0 0 0 87824 187 0 0 25 0 1 0 636698680 189386752 44823 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46237 44823 1111 63 0 46174 0
vsize: 184948
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 45229 0 0 0 88823 188 0 0 25 0 1 0 636698680 190468096 45098 4294967295 134512640 134714540 3221221776 3221220380 134549858 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46501 45098 1111 63 0 46438 0
vsize: 186004
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 45511 0 0 0 89822 189 0 0 25 0 1 0 636698680 191750144 45376 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46814 45376 1111 63 0 46751 0
vsize: 187256
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 45755 0 0 0 90822 189 0 0 25 0 1 0 636698680 192851968 45618 4294967295 134512640 134714540 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47083 45618 1111 63 0 47020 0
vsize: 188332
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 45919 0 0 0 91822 190 0 0 25 0 1 0 636698680 193536000 45780 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47250 45780 1111 63 0 47187 0
vsize: 189000
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46073 0 0 0 92821 190 0 0 25 0 1 0 636698680 194088960 45930 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47385 45930 1111 63 0 47322 0
vsize: 189540
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46196 0 0 0 93821 191 0 0 25 0 1 0 636698680 194650112 46053 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47522 46053 1111 63 0 47459 0
vsize: 190088
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46298 0 0 0 94821 191 0 0 25 0 1 0 636698680 195084288 46155 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47628 46155 1111 63 0 47565 0
vsize: 190512
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46392 0 0 0 95821 192 0 0 25 0 1 0 636698680 195489792 46249 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47727 46249 1111 63 0 47664 0
vsize: 190908
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46497 0 0 0 96821 192 0 0 25 0 1 0 636698680 196108288 46353 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47878 46353 1111 63 0 47815 0
vsize: 191512
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46646 0 0 0 97820 192 0 0 25 0 1 0 636698680 196648960 46502 4294967295 134512640 134714540 3221221776 3221220560 134529412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48010 46502 1111 63 0 47947 0
vsize: 192040
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46820 0 0 0 98820 193 0 0 25 0 1 0 636698680 197521408 46674 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48223 46674 1111 63 0 48160 0
vsize: 192892
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 46982 0 0 0 99819 194 0 0 25 0 1 0 636698680 198127616 46835 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48371 46835 1111 63 0 48308 0
vsize: 193484
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 47130 0 0 0 100818 195 0 0 25 0 1 0 636698680 198901760 46981 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48560 46981 1111 63 0 48497 0
vsize: 194240
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 47268 0 0 0 101818 196 0 0 25 0 1 0 636698680 199532544 47118 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48714 47118 1111 63 0 48651 0
vsize: 194856
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 47529 0 0 0 102817 197 0 0 25 0 1 0 636698680 200708096 47379 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49001 47379 1111 63 0 48938 0
vsize: 196004
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 47938 0 0 0 103815 199 0 0 25 0 1 0 636698680 202330112 47788 4294967295 134512640 134714540 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49397 47788 1111 63 0 49334 0
vsize: 197588
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 48294 0 0 0 104813 201 0 0 25 0 1 0 636698680 203816960 48144 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49760 48144 1111 63 0 49697 0
vsize: 199040
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 48576 0 0 0 105812 202 0 0 25 0 1 0 636698680 205049856 48426 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50061 48426 1111 63 0 49998 0
vsize: 200244
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 48864 0 0 0 106811 203 0 0 25 0 1 0 636698680 206135296 48714 4294967295 134512640 134714540 3221221776 3221220400 134549670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50326 48714 1111 63 0 50263 0
vsize: 201304
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 49146 0 0 0 107810 205 0 0 25 0 1 0 636698680 207351808 48996 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50623 48996 1111 63 0 50560 0
vsize: 202492
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 49443 0 0 0 108808 207 0 0 25 0 1 0 636698680 208568320 49293 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50920 49293 1111 63 0 50857 0
vsize: 203680
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 49724 0 0 0 109808 208 0 0 25 0 1 0 636698680 209649664 49574 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51184 49574 1111 63 0 51121 0
vsize: 204736
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 49986 0 0 0 110807 209 0 0 25 0 1 0 636698680 210792448 49833 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51463 49833 1111 63 0 51400 0
vsize: 205852
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 50193 0 0 0 111806 210 0 0 25 0 1 0 636698680 211603456 50040 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51661 50040 1111 63 0 51598 0
vsize: 206644
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 50373 0 0 0 112805 210 0 0 25 0 1 0 636698680 212422656 50220 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51861 50220 1111 63 0 51798 0
vsize: 207444
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 50552 0 0 0 113805 211 0 0 25 0 1 0 636698680 213098496 50399 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52026 50399 1111 63 0 51963 0
vsize: 208104
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 50709 0 0 0 114804 212 0 0 25 0 1 0 636698680 213774336 50556 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52191 50556 1111 63 0 52128 0
vsize: 208764
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 50931 0 0 0 115803 213 0 0 25 0 1 0 636698680 214589440 50778 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52390 50778 1111 63 0 52327 0
vsize: 209560
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 51160 0 0 0 116803 214 0 0 25 0 1 0 636698680 215535616 51007 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52621 51007 1111 63 0 52558 0
vsize: 210484
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 18657
Raw data (stat): 18600 (bsolo_mis) R 18599 7876 7672 0 -1 0 51160 0 0 0 116803 214 0 0 25 0 1 0 636698680 215535616 51007 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52621 51007 1111 63 0 52558 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.13
CPU user time (s): 1172.89
CPU system time (s): 2.24266
CPU usage (%): 100.01
Max. virtual memory (Kb): 210484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####